عنوان

Algebra of communicating processes :

0387199098

3540199098

9780387199092

9783540199090

b565422

Algebra of communicating processes :

[Book]

proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994

A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds).

London ; New York

Springer-Verlag

©1995.

x, 357 pages : illustrations ; 24 cm.

Workshops in computing.

Published in collaboration with the British Computer Society.

The algebra of recursively defined processes and the algebra of regular processes / J.A. Bergstra and J.W. Klop --; The syntax and semantics of [micro]CRL / J.F. Groote and A. Ponse --; A correctness proof of the bakery protocol in [micro]CRL / J.F. Groote and H. Korver --; Inductive proofs with sets, and some applications in process algebra / J.J. van Wamel --; Formal semantics of interworkings with discrete absolute time / J. van den Brink and W.O.D. Griffioen --; The ABP and CABP : a comparison of performances in real time process algebra / J.A. Hillebrand --; Real time process algebra with infinitesimals / J.C.M. Baeten and J.A. Bergstra --; On the expressiveness of ACP (extended abstract) / R.J. van Glabbeek --; Definability with the state operator in process algebra / J. Blanco --; Normed BPP and BPA / J. Blanco --; A real time [micro]CRL specification of a system for traffic regulation at signalized intersections / M.J. Koens and L.H. Oei --; An experiment in implementing process algebra specifications in a procedural language / C. Groza --; Graph isomorphism models for non interleaving process algebra / J.C.M. Baeten and J.A. Bergstra --; Process specification in a UNITY format / J.J. Brunekreef --; Algebraic specification of dynamic leader election protocols in broadcast networks / J.J. Brunekreef [and others].

Algebra -- Congresses.

Parallel processing (Electronic computers) -- Congresses.

Real-time data processing -- Congresses.

A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds).

A Ponse

British Computer Society.

C Verhoef

S F M van Vlijmen

[Book]

Y