Volume 1, Number 1, 1989
Volume 1, Number 2, 1989
Volume 1, Number 3, 1989
- Marta Z. Kwiatkowska:
Event Fairness and Non-interleaving Concurrency.
213-228

- Jifeng He:
Process Simulation and Refinement.
229-241

- Sören Holmström:
A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion.
242-272

- D. J. Walker:
Automated Analysis of Mutual Exclusion Algorithms using CCS.
273-292

Volume 1, Number 4, 1989
Last update Fri May 24 20:19:59 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page