Applications of process algebra.

Acp - algebra of communicating processes

Saved in:
Baeten, J. C., (editor)
Cambridge : Cambridge University Pr., 1990.
IX, 317 S.
Cambridge tracts in theoretical computer science ; vol 0017.
an introduction to process algebra
two simple protocols
proving mutual exclusion with process algebra
process algebra as a tool for the specification and verification of cim - architectures
a process creation mechanism in process algebra
correctness proofs for systolic algorithms - palindromes and sorting
verification of an algorithm for long time sorting by square comparison
on the amoeba protocol
process algebra semantics of pool
some observations on redundancy in a context
a modular approach to protocol verification using process algebra

Open Stacks Call Number: S 006321-0017'01' Barcode: 1091101721 Available