Download e-book for kindle: 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.)

ISBN-10: 1447121201

ISBN-13: 9781447121206

ISBN-10: 3540199098

ISBN-13: 9783540199090

ACP, the Algebra of speaking methods, is an algebraic method of the examine of concurrent strategies, initiated by way of 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 college, 16-17 may possibly 1994. those lawsuits are supposed to supply an summary of present learn within the region of ACP. They include fifteen contributions. the 1st one is a classical paper on ACP via J.A. Bergstra and J.W. Klop: The Algebra of Recursively outlined approaches and the Algebra of standard procedures, document IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an creation to the rest of the complaints and, certainly, as a common advent to ACP. a longer summary of this paper is released lower than a similar 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 way 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 carry a lecture. A paper on the subject of Frits Vaandrager's lecture has already been submitted for booklet in other places and isn't, hence, integrated in those seasoned­ ceedings. Gabriel Ciobanu, considered one of our visitors, gave an influence of his paintings in an additional lecture. additionally, ten shows 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

Similar algebra books

Download PDF by A Szendrei: Clones in universal algebra

The research of clones originates partially in common sense, particularly within the examine of composition of fact capabilities, and partially in common algebra, from the statement that the majority homes of algebras depend upon their time period operations instead of at the collection of their easy operations. over the past fifteen years or so the combo of those facets and the applying of recent algebraic tools produced a speedy improvement, and through now the speculation of clones has develop into an essential component of common algebra.

Vector bundles on algebraic varieties (Proc. international - download pdf or read online

Contains bibliographies. ''International Colloquium on Vector Bundles on Algebraic forms, held on the Tata Institute of primary learn in January, 1984''

Additional resources 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

TCRL as given in this document has only a referential meaning, and any generated transition system is therefore called a referential transition system. tCRL-process-expression an operational semantics generating a smaller number of states can be used. 13. Let Al = (Sl,L 1,---t1,St) and A2 = (S2,L 2,-+2,82) be two transition systems. We say that Al and A2 are bisimilar, notation Al HA 2, iff there is a relation R ~ Sl X S2 such that • (81,82) E R, • for each pair (t 1 , t 2 ) E R: a - t1 ---t1 ti 3t~ =} 3ti t1 ---t1 ti and (ti, t~) E R.

L p----tv' l 8({nl, ... ,nk},p) ----t if l == n(t l , ... t. t. Sig(E) and 0. 12 we often write A(A,r,p) instead of A(A,r,p from E). Again, the following lemma serves as a justification for our definition. 12. Let E be a well-formed specification, A be a minimal model of E that is boolean preserving and r a representation function of E and A. t. Sig(E) and 0 and let (S,L, ---t,s) ~f A(A,r,p). Iffor some sequence oflabels h, ... ,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.

Bort . t. t. t. Big and The empty variable-decl-section is Vars(var-dec). t. Big. A variable-decl-section var nll, ... t. Big iff - nij ¢ nit jt whenever i "# if or j "# j' for 1 :::; i :::; m, 1 :::; i' :::; m, 1 :::; j :::; k i and 1 :::; j' :::; kit, - the set Vars(var nll, ... , nlkl : B1 ... nm1, ... , nmkm : Bm) is a set of variables over Big. * A rewrite-rules-section rew rWl ... t. t. - if rWi == n(tI, ... ) = t for some 1 :::; i :::; m and k i * ~ 1, then * n : sortsig,v(td x ... t. Big and V, * VarSig,v(t) ~ U1:<;j:<;ki VarSig,v(tj).

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 Charles
4.4

Rated 4.32 of 5 – based on 46 votes