Abstract is missing.
- Formal Techniques for Parallel Object-Oriented LanguagesPierre America. 1-17
- Causal Models for Rational Algebraic ProcessesAmar Bouali, Robert de Simone. 18-19
- Action and State-based Logics for Process AlgebrasRocco De Nicola. 20-22
- A Tool Set for deciding Behavioral EquivalencesJean-Claude Fernandez, Laurent Mounier. 23-42
- Causality Based Models for the Design of Concurrent SystemsUrsula Goltz. 43-44
- Modal Logics for Mobile ProcessesRobin Milner, Joachim Parrow, David Walker. 45-60
- Towards a Design Calculus for Communicationg ProgramsErnst-Rüdiger Olderog. 61-77
- A Theory of Testing for ACPLuca Aceto, Anna Ingólfsdóttir. 78-95
- Real Space Process AlgebraJos C. M. Baeten, Jan A. Bergstra. 96-110
- The Failure of Failures in a Paradigm for Asynchronous CommunicationFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. 111-126
- Embedding as a Tool for Language Comparison: On the CSP HierarchyFrank S. de Boer, Catuscia Palamidessi. 127-141
- A Conditional Operator for CCSJuanito Camilleri. 142-156
- Algebraic Formulations of Trace TheoryNicolien J. Drost. 157-171
- Compositional Synthesis of Live and Bounded Free Choice Petri NetsJavier Esparza, Manuel Silva. 172-187
- The Observation Algebra of Spatial PomsetsGian Luigi Ferrari, Ugo Montanari. 188-202
- Synchrony Loosening Transformations for Interacting ProcessesNissim Francez, Ira R. Forman. 203-219
- A Compositional Model for Layered Distributed SystemsKenneth J. Goldman. 220-234
- Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)Jan Friso Groote, Alban Ponse. 235-249
- Model Checking and Modular VerificationOrna Grumberg, David E. Long. 250-265
- Geometric Logic, Causality and Event StructuresJeremy Gunawardena. 266-280
- Extended Horn Clauses: The Framework and Some SemanticsJean-Marie Jacquet, Luís Monteiro. 281-297
- Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic ApproachWil Janssen, Mannes Poel, Job Zwiers. 298-316
- Invariant Semantics of Nets with Inhibitor ArcsRyszard Janicki, Maciej Koutny. 317-331
- Abstract Timed Observation and Process AlgebraAlan Jeffrey. 332-345
- Simulations Between Specifications of Distributed SystemsBengt Jonsson. 346-360
- Using Truth-Preserving Reductions to Improve the Clarity of Kripke-ModelsRoope Kaivola, Antti Valmari. 361-375
- Completeness in Real Time Process AlgebraSteven Klusener. 376-392
- Distributed CCSPadmanabhan Krishnan. 393-407
- Time-Constrained Automata (Extended Abstract)Michael Merritt, Francesmary Modugno, Marc R. Tuttle. 408-423
- Relating Processes With Respect to SpeedFaron Moller, Chris M. N. Tofts. 424-438
- Testing, Betting and Timed True ConcurrencyDavid Murphy. 439-454
- Fairness in Models with True ConcurrencyDoris Nolte, Lutz Priese. 455-469
- Efficient Verification of Determinate ProcessesHuajun Quin. 470-479
- Experiments on Processes with BacktrackingPh. Schnoebelen. 480-494
- Some Finite-Graph Models for Process AlgebraPaul Spruit, Roel Wieringa. 495-509
- A Method for the Development of Totally Correct Shared-State Parallel ProgramsKetil Stølen. 510-525
- Reduced Labelled Transition Systems Save Verification EffortAntti Valmari, Matthew Clegg. 526-540