Volume 29, Number 1, 1992
Volume 29, Number 2, 1992
Volume 29, Number 3, 1992
Volume 29, Number 4, 1992
Volume 29, Number 5, 1992
Volume 29, Numbers 6/7, 1992
- Wuxu Peng, S. Purushothaman:
Analysis of a Class of Communicating Finite State Machines.
499-522 BibTeX
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
An Experience in Proving Regular Networks of Processes by Modular Model Checking.
523-543 BibTeX
- Tero Harju, H. C. M. Kleijn, Michel Latteux:
Deterministic Sequential Functions.
545-554 BibTeX
- Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems and Refinement.
555-578 BibTeX
- Vernon Rego:
Naive Asymptotics for Hitting Time Bounds in Markov Chains.
579-594 BibTeX
- Oliver Schoett:
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types.
595-621 BibTeX
- Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi:
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.
623-643 BibTeX
- Leo Marcus, Telis Menas:
Expressibility of Output Equals Input.
645-662 BibTeX
- Andreas Weber:
On the Lengths of Values in a Finite Transducer.
663-687 BibTeX
Volume 29, Number 8, 1992
Copyright © Sat May 16 23:49:22 2009
by Michael Ley (ley@uni-trier.de)