J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef's Algebra of Communicating Processes: Proceedings of ACP94, PDF

By J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)

ISBN-10: 1447121201

ISBN-13: 9781447121206

ISBN-10: 3540199098

ISBN-13: 9783540199090

ACP, the Algebra of speaking strategies, is an algebraic method of the learn of concurrent approaches, initiated via Jan Bergstra and Jan Will em Klop within the early eighties. those court cases contain the contributions to ACP94, the 1st workshop dedicated to ACP. The paintings­ store was once held at Utrecht collage, 16-17 may well 1994. those court cases are supposed to supply an summary of present study within the sector of ACP. They comprise fifteen contributions. the 1st one is a classical paper on ACP by means of J.A. Bergstra and J.W. Klop: The Algebra of Recursively outlined tactics and the Algebra of normal strategies, file IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an creation to the rest of the court cases and, certainly, as a common advent to ACP. a longer summary of this paper is released lower than an identical identify within the ICALP' eighty four complaints. Of the re­ maining contributions, 3 have been submitted via the invited audio system and the others have been chosen through the programme committee. As for the displays, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager have been every one invited to convey a lecture. A paper when it comes to Frits Vaandrager's lecture has already been submitted for e-book in other places and isn't, consequently, integrated in those professional­ ceedings. Gabriel Ciobanu, one among our visitors, gave an influence of his paintings in an additional lecture. additionally, ten displays got at the foundation of chosen papers.

Show description

Read Online or Download Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994 PDF

Best algebra books

Get Computational Noncommutative Algebra and Applications: PDF

The fusion of algebra, research and geometry, and their software to actual global difficulties, were dominant issues underlying arithmetic for over a century. Geometric algebras, brought and categorised by means of Clifford within the past due nineteenth century, have performed a popular position during this attempt, as visible within the mathematical paintings of Cartan, Brauer, Weyl, Chevelley, Atiyah, and Bott, and in functions to physics within the paintings of Pauli, Dirac and others.

Extra info for Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Sample text

Lm it holds that 11 I". P ---t ... t. Sig(E) and 0. We feel that our operational semantics is somewhat ad hoc; we can easily provide an alternative that is also satisfactory in the sense that for each processexpression the generated transition system is strongly bisimilar with that generated by the rules above. Therefore, we generally consider transition systems modulo strong bisimulation equivalence. tCRL as given in this document has only a referential meaning, and any generated transition system is therefore called a referential transition system.

Act, - for each 1 :s; i :s; m, k 2: 1 and names Sl, ... , Sk it holds that if ni2 : Sl x ... Act then nil : Sl x ... Act and ni3 : Sl x ... Act . • A specification proc pd1 ... t. Sig iff < j :s; m: * if pdi == ni = Pi and pdj == nj = Pj then ni =t nj, * if for some k 2: 1 it holds that pdi == ni(x1 : Sl, ... , Xk * and pdj == nj(x~ : Sl, ... Fun, - if pdi == ni = Pi (1 Sig and 0, :s; i :s; m), then ni ¢ - if pdi == ni(xil : Sil, ... t. •. Fun, * the names XiI, ... t. Sig and {(Xij * A process-expression PI + P2, parallel-expressions PI a dot-expression PI .

The ASF+SDF system is also used to provide a well-formedness checker [27]. According to the convention in SDF we write syntactical categories with a capital and keywords with small letters. The first LAYOUT rule says that spaces (' '), tabs (\t) and newlines (\n) may be used to generate some attractive layout and are not part of the p,eRL specification itself. The second LAYOUT rule says that lines starting with a %-sign followed by zero or more non-newline characters (- [\n] *) followed by a newline (\n) must be taken as comments and are therefore also not a part of the p,eRL syntax.

Download PDF sample

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994 by J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)


by Edward
4.0

Rated 4.40 of 5 – based on 21 votes

admin