Advertisement

Structures in Concurrency Theory

Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995

  • Jörg Desel

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-x
  2. J. W. de Bakker
    Pages 1-1
  3. Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
    Pages 2-31
  4. S. Arun-Kumar, V. Natarajan
    Pages 55-68
  5. Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna
    Pages 69-84
  6. Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
    Pages 85-100
  7. I. Biermann, B. Rozoy
    Pages 101-115
  8. Piotr Chrz̧stowski-Wachtel, Marek Raczunas
    Pages 116-128
  9. Rocco De Nicola, Rosario Pugliese
    Pages 129-143
  10. Raymond Devillers, Hanna Klaudel
    Pages 144-159
  11. Roland Jégou, Raoul Medina, Lhouari Nourine
    Pages 175-189
  12. Ekkart Kindler, Rolf Walter
    Pages 205-219
  13. Marta Kwiatkowska, Iain Phillips
    Pages 220-235
  14. Mila E. Majster-Cederbaum, Christel Baier
    Pages 236-248
  15. Madhavan Mukund, K. Narayan Kumar, Milind Sohoni
    Pages 249-263
  16. Laura Recalde, Enrique Teruel, Manuel Silva
    Pages 279-293
  17. Walter Vogler
    Pages 341-350
  18. Back Matter
    Pages 351-354

About these proceedings

Introduction

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.

Keywords

algebra calculus concurrency recursion

Editors and affiliations

  • Jörg Desel
    • 1
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3078-9
  • Copyright Information Springer-Verlag London 1995
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19982-3
  • Online ISBN 978-1-4471-3078-9
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Pharma
Aerospace
Oil, Gas & Geosciences