Cantitate/Preț
Produs

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994: Workshops in Computing

Editat de Alban Ponse, Christiaan Verhoef, Sebastiaan F.M.van Vlijmen
en Limba Engleză Paperback – 30 noi 1994
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work­ shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re­ maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro­ ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers.
Citește tot Restrânge

Din seria Workshops in Computing

Preț: 30178 lei

Preț vechi: 37722 lei
-20%

Puncte Express: 453

Preț estimativ în valută:
5782 6263$ 4958£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540199090
ISBN-10: 3540199098
Pagini: 372
Ilustrații: X, 359 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing

Locul publicării:London, United Kingdom

Public țintă

Research

Descriere

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work­ shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re­ maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro­ ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers.

Cuprins

The Algebra of Recursively Defined Processes and the Algebra of Regular Processes.- The Syntax and Semantics of ?CRL.- A Correctness Proof of the Bakery Protocol in ?CRL.- Inductive Proofs with Sets, and some Applications in Process Algebra.- Formal Semantics of Interworkings with Discrete Absolute Time.- The ABP and the CABP — A Comparison of Performances in Real Time Process Algebra.- Real Time Process Algebra with Infinitesimals.- On the Expressiveness of ACP (Extended Abstract).- Definability with the State Operator in Process Algebra.- Normed BPP and BPA.- A Real Time ?CRL Specification of a System for Traffic Regulation at Signalized Intersections.- An Experiment in Implementing Process Algebra Specifications in a Procedural Language.- Graph Isomorphism Models for Non Interleaving Process Algebra.- Process Specification in a UNITY Format.- Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks.- Author Index.