Buch, Englisch, 359 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 563 g
Reihe: Workshops in Computing
Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16¿17 May 1994
Buch, Englisch, 359 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 563 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19909-0
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes.- The Syntax and Semantics of ?CRL.- A Correctness Proof of the Bakery Protocol in ?CRL.- Inductive Proofs with Sets, and some Applications in Process Algebra.- Formal Semantics of Interworkings with Discrete Absolute Time.- The ABP and the CABP — A Comparison of Performances in Real Time Process Algebra.- Real Time Process Algebra with Infinitesimals.- On the Expressiveness of ACP (Extended Abstract).- Definability with the State Operator in Process Algebra.- Normed BPP and BPA.- A Real Time ?CRL Specification of a System for Traffic Regulation at Signalized Intersections.- An Experiment in Implementing Process Algebra Specifications in a Procedural Language.- Graph Isomorphism Models for Non Interleaving Process Algebra.- Process Specification in a UNITY Format.- Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks.- Author Index.