|
" Algebra of communicating processes : "
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745473
|
| Doc. No
|
:
|
b565422
|
| Main Entry
|
:
|
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds).
|
| Title & Author
|
:
|
Algebra of communicating processes : : 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).
|
| Publication Statement
|
:
|
London ; New York : Springer-Verlag, ©1995.
|
| Series Statement
|
:
|
Workshops in computing.
|
| Page. NO
|
:
|
x, 357 pages : illustrations ; 24 cm.
|
| ISBN
|
:
|
0387199098
|
|
|
:
|
: 3540199098
|
|
|
:
|
: 9780387199092
|
|
|
:
|
: 9783540199090
|
| Notes
|
:
|
Published in collaboration with the British Computer Society.
|
| Contents
|
:
|
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].
|
| Subject
|
:
|
Algebra -- Congresses.
|
| Subject
|
:
|
Parallel processing (Electronic computers) -- Congresses.
|
| Subject
|
:
|
Real-time data processing -- Congresses.
|
| LC Classification
|
:
|
QA76.58A666 1995
|
| Added Entry
|
:
|
A Ponse
|
|
|
:
|
British Computer Society.
|
|
|
:
|
C Verhoef
|
|
|
:
|
S F M van Vlijmen
|
| |