Research Catalog
Applications of process algebra
- Title
- Applications of process algebra / edited by J. C. M. Baeten.
- Publication
- Cambridge ; New York : Cambridge University Press, 1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.M35 A67 1990g | Off-site |
Holdings
Details
- Additional Authors
- Baeten, J. C. M.
- Description
- ix, 317 pages : illustrations; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 17
- Uniform Title
- Cambridge tracts in theoretical computer science ; 17.
- Subject
- Note
- Includes index.
- Contents
- An introduction to process algebra / J.A. Bergstra, J.W. Klop -- Two simple protocols / F.W. Vaandrager -- Proving mutual exclusion with process algebra / E.R. Nieuwland -- Process algebra as a tool for the specification and verification of CIM-architectures / S. Mauw -- A process creation mechanism in process algebra / J.A. Bergstra -- Correctness proofs for systolic algorithms : palindromes and sorting / L. Kossen, W.P. Weijland -- Verification of an algorithm for log-time sorting by square comparison / J.C. Mulder, W.P. Weijland -- On the amoeba protocol / J.C. Mulder -- Process algebra semantics of POOL ; Some observations on redundancy in a context / F.W. Vaandrager -- A modular approach to protocol verification using process algebra / C.P.J. Koymans, J.C. Mulder.
- ISBN
- 0521400287 :
- LCCN
- gb 91015271
- OCLC
- ocm24718516
- Owning Institutions
- Columbia University Libraries