Volume 80,
Numbers 1-3,
2007
- Volker Diekert, Martin Horsch, Manfred Kufleitner:
On First-Order Fragments for Mazurkiewicz Traces.
1-29
Electronic Edition (link) BibTeX
- Luca Bernardinello, Elena Monticelli, Lucia Pomello:
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces.
31-47
Electronic Edition (link) BibTeX
- Jonathan Billington, Bing Han:
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties.
49-74
Electronic Edition (link) BibTeX
- Eike Best, Philippe Darondeau, Harro Wimmel:
Making Petri Nets Safe and Free of Internal Transitions.
75-90
Electronic Edition (link) BibTeX
- Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone:
Static BiLog: a Unifying Language for Spatial Structures.
91-110
Electronic Edition (link) BibTeX
- Joost Engelfriet, Hendrik Jan Hoogeboom:
Finitary Compositions of Two-way Finite-State Transductions.
111-123
Electronic Edition (link) BibTeX
- Jacques Carette, Ryszard Janicki:
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
125-146
Electronic Edition (link) BibTeX
- Blaise Genest, Dietrich Kuske, Anca Muscholl:
On Communicating Automata with Bounded Channels.
147-167
Electronic Edition (link) BibTeX
- Paul Gastin, Dietrich Kuske:
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.
169-197
Electronic Edition (link) BibTeX
- Jetty Kleijn, Maciej Koutny:
Processes of Petri Nets with Range Testing.
199-219
Electronic Edition (link) BibTeX
- Jérémie Chalopin, Yves Métivier:
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm.
221-246
Electronic Edition (link) BibTeX
- Mikhail Ju. Moshkov, Andrzej Skowron, Zbigniew Suraj:
On Minimal Rule Sets for Almost All Binary Information Systems.
247-258
Electronic Edition (link) BibTeX
- Edward Ochmanski, Joanna Pieckowska:
On Ethics of Mazurkiewicz Traces.
259-272
Electronic Edition (link) BibTeX
- Wolfgang Reisig:
The Decent Philosophers: An Exercise in Concurrent Behaviour.
273-281
Electronic Edition (link) BibTeX
- Xu Wang, Marta Z. Kwiatkowska:
On Process-algebraic Verification of Asynchronous Circuits.
283-310
Electronic Edition (link) BibTeX
- Józef Winkowski:
Towards a Framework for Modelling Behaviours of Hybrid Systems.
311-332
Electronic Edition (link) BibTeX
Volume 80,
Number 4,
2007
- Jan A. Bergstra, C. A. Middelburg:
Maurer Computers with Single-Thread Control.
333-362
Electronic Edition (link) BibTeX
- Alain Bui, Devan Sohier:
How to Compute Times of Random Walks Based Distributed Algorithms.
363-378
Electronic Edition (link) BibTeX
- Mariusz Flasinski:
Inference of Parsable Graph Grammars for Syntactic Pattern Recognition.
379-413
Electronic Edition (link) BibTeX
- Céline Hébert, Alain Bretto, Bruno Crémilleux:
A Data Mining Formalization to Improve Hypergraph Minimal Transversal Computation.
415-433
Electronic Edition (link) BibTeX
- Feng Jiang, Yuefei Sui, Cungen Cao:
Formal Concept Analysis in Relational Database and Rough Relational Database.
435-451
Electronic Edition (link) BibTeX
- Fagen Li, Yupu Hu:
Security Analysis of the Pomykala-Barabasz Scheme.
453-459
Electronic Edition (link) BibTeX
- Rongxing Lu, Zhenfu Cao, Xiaolei Dong:
A New Practical Limited Identity-Based Encryption Scheme.
461-474
Electronic Edition (link) BibTeX
- Pradipta Maji, Sankar K. Pal:
RFCM: A Hybrid Clustering Algorithm Using Rough and Fuzzy Sets.
475-496
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:28 2009
by Michael Ley (ley@uni-trier.de)