Volume 6,
Number 1,
1994
Volume 6,
Number 2,
1994
Volume 6,
Number 3,
1994
Volume 6,
Number 4,
1994
Volume 6,
Number 5,
1994
Volume 6,
Number 6,
1994
- Peter Gorm Larsen, Nico Plat, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams.
586-606 BibTeX
- K. Mani Chandy:
Properties of Concurrent Programs.
607-619 BibTeX
- Arnon Avron, Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow.
620-642 BibTeX
- Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler.
643-658 BibTeX
- Yasuhiko Minamide:
Sharing Analysis Based on Type Interface.
659-675 BibTeX
- Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
676-695 BibTeX
- Mike Stannett:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.
696-715 BibTeX
- Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms.
716-737 BibTeX
,
electronic supplement:
full length version
Volume 6,
Number 6A,
1994
Copyright © Sat May 16 23:59:01 2009
by Michael Ley (ley@uni-trier.de)