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

Description

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.

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Similar books

• 

  CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings

  By Davide Sangiorgi, Robert de Simone

  [ BDPV96 ] BERNardinello , L. , De Michelis , G. , PETRUNI , K. , and VIGNA , S. , On the Synchronic Structure of Transitions Systems . In " Structures in Concurrency Theory " , J. Desel ed . , Springer - Verlag ( 1996 ) 11-31 .

• 

  CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

  By Roberto M. Amadio, Roberto Amadio, Denis Lugiez

  Bundle Event Structures and CCSP Rob van Glabbeek1,⋆ and Frits Vaandrager2 1 National ICT Australia School of ... Introduction In concurrency theory many languages for the representation of concurrent systems have been proposed, ...

• 

  CONCUR '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

  By Jan van Leeuwen, G. Goos, Ugo Montanari

  1091 : J. Billington , W. Reisig ( Eds . ) , Application and Theory of Petri Nets 1996. Proceedings , 1996. VIII , 549 pages . ... 1105 : T.I. Ören , G.J. Klir ( Eds . ) , Computer Aided Systems Theory - CAST '94 . Proceedings , 1994.

• 

  CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

  By Christel Baier

  In: CONCUR '05: Proceedings of the 16th international conference on Concurrency theory. Volume 3653 of Lecture Notes in Computer Science., Springer-Verlag (2005) 293–307 9. Jensen, O.H.: Mobile Processes in Bigraphs.

• 

  Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

  By Raymond Devillers, Antti Valmari

  The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length.

• 

  Paradigms of Concurrency: Observations, Behaviours, and Systems — a Petri Net View

  By Maciej Koutny, Ryszard Janicki, Jetty Kleijn

  Theoretical Computer Science, 101(2), 337–359. 4. Janicki, R., & Koutny, M. (1993). Structure of concurrency. Theoretical Computer Science, 112(1), 5–52. 5. Mazurkiewicz, A. W. (1995). Introduction to trace theory.

• 

  Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

  By Ekkart Kindler, Gianfranco Ciardo

  Pinna, G.M., Poigné, A.: On the nature of events: another perspective in concurrency. Theoretical Computer Science 138, 425–454 (1995) Boudol, G.: Flow Event Structures and Flow Nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.

• 

  Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings

  By Kees van Hee, Rüdiger Valk, Kees M. van Hee

  Some new properties of comtraces and their relationship to stratified or- der structures [11] have been discussed. The relationship between generalised ... Janicki, R., Koutny, M.: Invariants and Paradigms of Concurrency Theory.

• 

  Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

  By Howard Bowman, Rodolfo Gomez

  J. Quemada, D. Frutos, and A. Azcorra. Tic: A timed calculus. ... J. Quemada, C. Miguel, D. de Frutos, and L. Llana. ... In K.R. Parker and G.A. Rose, editors, Formal Description Techniques, IV, Sydney, Australia, November 1991.

• 

  Theory of Knowledge: Structures and Processes

  By Mark Burgin

  167–218. de Vey Mestdagh, C. N. J. and Burgin, M. (2015) Reasoning and decision making in an inconsistent world: Labeled logical varieties as a tool for inconsistency robustness, in Intelligent Decision Technologies, ser.