Structures in Concurrency Theory

1. Front Matter

   Pages i-x

   PDF

2. The Three Dimensions of Semantics

   • J. W. de Bakker

   Pages 1-1

3. CALIBAN - Esprit Basic Research WG 6067

   • Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel

   Pages 2-31

4. Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications

   • E.-R. Olderog, M. Schenke

   Pages 32-54

5. Conformance: A Precongruence close to Bisimilarity

   • S. Arun-Kumar, V. Natarajan

   Pages 55-68

6. On The Synchronic Structure of Transition Systems

   • Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna

   Pages 69-84

7. An M-net Semantics of B(PN)²

   • Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

   Pages 85-100

8. Graphs for Generalized Traces

   • I. Biermann, B. Rozoy

   Pages 101-115

9. Orbits, half-frozen tokens and the liveness of weighted circuits

   • Piotr Chrz̧stowski-Wachtel, Marek Raczunas

   Pages 116-128

10. An Observational Semantics for Linda

    • Rocco De Nicola, Rosario Pugliese

    Pages 129-143

11. Refinement and Recursion in a High Level Petri Box Calculus

    • Raymond Devillers, Hanna Klaudel

    Pages 144-159

12. Sequentiality by Linear Implication and Universal Quantification

    • Alessio Guglielmi

    Pages 160-174

13. Linear Space Algorithm for On-line Detection of Global Predicates

    • Roland Jégou, Raoul Medina, Lhouari Nourine

    Pages 175-189

14. A Simple Decision Method for the Linear Time Mu-calculus

    • Roope Kaivola

    Pages 190-204

15. Message passing mutex

    • Ekkart Kindler, Rolf Walter

    Pages 205-219

16. Possible and Guaranteed Concurrency in CSP

    • Marta Kwiatkowska, Iain Phillips

    Pages 220-235

17. Metric completion versus ideal completion

    • Mila E. Majster-Cederbaum, Christel Baier

    Pages 236-248

18. Keeping Track of the Latest Gossip in Message-Passing Systems

    • Madhavan Mukund, K. Narayan Kumar, Milind Sohoni

    Pages 249-263

19. A Local Presentation of Synchronizing Systems

    • R. Ramanujam

    Pages 264-278

20. On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes

    • Laura Recalde, Enrique Teruel, Manuel Silva

    Pages 279-293

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.

• algebra
• calculus
• concurrency
• recursion

• Institut für Informatik, Humboldt-Universität zu Berlin, Germany

  Jörg Desel

Policies and ethics