Volume 101,
Number 1,
1992
Volume 101,
Number 2,
1992
- Eike Best, Jörg Desel, Javier Esparza:
Traps Characterize Home States in Free Choice Systems.
161-176 BibTeX
- Stephen D. Brookes, Shai Geva:
Towards a Theory of Parallel Algorithms on Concrete Data Structures.
177-221 BibTeX
- Bard Bloom, Albert R. Meyer:
Experimenting with Process Equivalence.
223-237 BibTeX
- Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
239-263 BibTeX
- Jeremy Gunawardena:
Causal automata.
265-288 BibTeX
- Jozef Hooman, S. Ramesh, Willem P. de Roever:
A Compositional Axiomatization of Statecharts.
289-335 BibTeX
- Shmuel Katz, Doron Peled:
Defining Conditional Independence Using Collapses.
337-359 BibTeX
Copyright © Sun May 17 00:24:07 2009
by Michael Ley (ley@uni-trier.de)