Workshops in Computing

Structures in Concurrency Theory

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

Editors: Desel, Jörg (Ed.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3078-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19982-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (23 chapters)

  • The Three Dimensions of Semantics

    Bakker, J. W.

    Pages 1-1

  • CALIBAN - Esprit Basic Research WG 6067

    Best, Eike (et al.)

    Pages 2-31

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

    Olderog, E.-R. (et al.)

    Pages 32-54

  • Conformance: A Precongruence close to Bisimilarity

    Arun-Kumar, S. (et al.)

    Pages 55-68

  • On The Synchronic Structure of Transition Systems

    Bernardinello, Luca (et al.)

    Pages 69-84

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3078-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19982-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Copyright
1995
Publisher
Springer-Verlag London
Copyright Holder
British Computer Society
eBook ISBN
978-1-4471-3078-9
DOI
10.1007/978-1-4471-3078-9
Softcover ISBN
978-3-540-19982-3
Series ISSN
1431-1682
Edition Number
1
Number of Pages
X, 352
Number of Illustrations and Tables
5 b/w illustrations
Topics