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

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

ACP, the Algebra of speaking techniques, is an algebraic method of the examine of concurrent strategies, initiated through Jan Bergstra and Jan Will em Klop within the early eighties. those complaints contain the contributions to ACP94, the 1st workshop dedicated to ACP. The paintings­ store used to be held at Utrecht collage, 16-17 may perhaps 1994. those court cases are supposed to offer an outline of present study within the zone of ACP. They include fifteen contributions. the 1st one is a classical paper on ACP through J.A. Bergstra and J.W. Klop: The Algebra of Recursively outlined methods and the Algebra of normal approaches, record IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an advent to the rest of the lawsuits and, certainly, as a normal creation to ACP. a longer summary of this paper is released lower than an identical identify within the ICALP' eighty four court cases. Of the re­ maining contributions, 3 have been submitted by means of the invited audio system and the others have been chosen by means of the programme committee. As for the displays, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager have been each one invited to bring a lecture. A paper when it comes to Frits Vaandrager's lecture has already been submitted for ebook somewhere else and isn't, as a result, incorporated in those professional­ ceedings. Gabriel Ciobanu, one in all our visitors, gave an influence of his paintings in an additional lecture. in addition, ten displays got at the foundation of chosen papers.

Show description

Read 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

A Treatise on Universal Algebra with Applications

Symbolic Reasoning allied to bland A lgebra. the manager examples of such platforms are Hamilton sQ uaternions, Grassmann sC alculus of Extension and Boole sS ymbolic common sense. Such algebras have an intrinsic worth for separate specified examine; they are also helpful of a comparative learn, for the sake of the sunshine thereby thrown at the basic conception of symbolic reasoning, and on algebraic symbolism specifically.

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

Example text

5 to determine this. Often the algebra ANE is called the canonical term algebra of E. 2 Finite sums IT a JLCRL specification contains infinite sums, then the operational behaviour is not finitely branching anymore. Consider for instance the behaviour of the following process: X from sort fune sort fune Baal T,F:-+ Baal Nat 0: Nat succ: Nat -+ Nat act a: Nat proe X = 2:(x : Nat, a{x)) The process X can perform an a{m) step for each natural number m. We judge an infinitely branching operational behaviour undesirable and therefore exclude sums over infinite sorts from effective JLCRL.

T. Sig and {(Xij * A process-expression PI + P2, parallel-expressions PI a dot-expression PI . t. t. t. Big and V. t. t. t. t. Big and V and sortSig,V(t) = Bool. t. Big and V. - P1 is - P2 is The basic-expressions 8( { n1, ... , n m }, p) and 7"( {n1 , ... t. Act or ni : B1 x ... some k 2:: 1 and names B1, ... t. Big and V. The basic-expression p({n1 -t V iff n~, ... Act or ni : B1 x ... some k 2:: 1 and names B1, ... t. Act for - for 1 ~ i ~ m, k 2:: 1 and names B1, .. , Bk it holds that if ni : B1 x ...

A. W. Klop. Process algebra and mutual exclusion. Report IW 218/83, Mathematisch Centrum, Amsterdam, 1983. A. W. Klop. A process algebra for the operational semantics of static data flow networks. Report IW 222/83, Mathematisch Centrum, Amsterdam, 1983. A. W. Klop. An abstraction mechanism for process algebras. Report IW 231/83, Mathematisch Centrum, Amsterdam, 1983. A. W. Klop. An algebraic specification method for processes over a finite action set. Report IW 232/83, Mathematisch Centrum, Amsterdam, 1983.

Download PDF sample

Rated 4.53 of 5 – based on 19 votes