Skip to main content
SpringerLink
Log in
Book cover

Structures in Concurrency Theory

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

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Jörg Desel

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages i-x
    Download chapter 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)2

    • 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    Jörg Desel

Bibliographic Information

  • Book Title: Structures in Concurrency Theory

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

  • Editors: Jörg Desel

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3078-9

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1995

  • Softcover ISBN: 978-3-540-19982-3Published: 13 October 1995

  • eBook ISBN: 978-1-4471-3078-9Published: 08 March 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: X, 352

  • Number of Illustrations: 5 b/w illustrations

  • Topics: Computational Mathematics and Numerical Analysis

Publish with us

Policies and ethics

Back to top

Search

Navigation