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 tactics, is an algebraic method of the research of concurrent tactics, initiated by means 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 was once held at Utrecht college, 16-17 may well 1994. those court cases are supposed to supply an summary of present examine within the region of ACP. They include fifteen contributions. the 1st one is a classical paper on ACP by way of J.A. Bergstra and J.W. Klop: The Algebra of Recursively outlined approaches and the Algebra of normal tactics, document IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an advent to the rest of the lawsuits and, certainly, as a basic advent to ACP. a longer summary of this paper is released lower than an analogous name within the ICALP' eighty four lawsuits. Of the re­ maining contributions, 3 have been submitted by way of the invited audio system and the others have been chosen through the programme committee. As for the shows, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager have been each one invited to bring a lecture. A paper with regards to Frits Vaandrager's lecture has already been submitted for e-book in different places and isn't, consequently, incorporated in those seasoned­ ceedings. Gabriel Ciobanu, one in all our site visitors, gave an effect of his paintings in an additional lecture. in addition, 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

A Taste of Jordan Algebras (Universitext)

This publication describes the background of Jordan algebras and describes in complete mathematical aspect the new constitution idea for Jordan algebras of arbitrary measurement as a result of Efim Zel'manov. Jordan algebras crop up in lots of striking settings, and locate program to quite a few mathematical components.

Enveloping algebras

This e-book, that's the 1st systematic exposition of the algebraic method of representations of Lie teams through representations of (or modules over) the corresponding common enveloping algebras, became out to be so good written that even at the present time it is still one of many major textbooks and reference books at the topic.

Lineare Algebra 2: Anwendungen und Konzepte für Studierende der Mathematik und Physik

In diesem Band des zweiteiligen Lehrbuchs zur Linearen Algebra werden zum einen verschiedene Anwendungen zu den Themen des ersten Bandes vertieft: es wird die Lösungstheorie linearer gewöhnlicher Differentialgleichungen mit konstanten Koeffizienten vorgestellt. Zum anderen werden die formalen Konzepte der linearen Algebra vertieft.

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

Let E be a well-formed specification, A be a minimal model of E that is boolean preserving and r be a representation function of E and A. t. Sig(E) and 0. t. Sig(E) and 0} uhf}, - L ~ {n(tl, ... g. [19]). t. Sig(E) and some set of variables over Sig(E), l ranges over the set L of labels, n, nl, n2 are names, m 2': 0 and tt, ... , t rn , Ul, ... ; e v' --+ O. 7" e r --+ v'. Act, en--+v' n(tl, ... ,t",) --+ v' with m 2': 1 if n : sortSig(E),0(Ul) X ... Act, ti == r(sortSig(E),0(Ui), [Ui]A). - n(Ul, ...

So the language contains only basic constructs with an easy semantics. To obtain executability, effective ILCRL has been defined. In effective ILCRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective ILCRL a good platform for tooling activities. Key Words & Phrases: Specification Language, Abstract Data Types, Process Algebra, Operational Semantics. 1985 Mathematics Subject Classification: 68N99. 3. Note: The authors are supported by the European Communities under RACE project no.

E. does not contain an infinite path. LCRL-specifications Here we define the operational semantics of effective /LCRL by combining all definitions given above. 10. Let E be a specification. t. t. A NE . 11. Let E be an effective /LCRL specification. t. Sig(E) and 0. The behaviour of p is the transition system A(ANE ,r,p from E) where the representation function r of E and ANE is the identity. 12. t. Sig(E) and 0, and let r be the identity. t. t. Sig(E) and 0: {(a,p") I p' ~ p"} is finite and effectively computable.

Download PDF sample

Rated 4.81 of 5 – based on 46 votes

Related posts