عنوان

Applications of process algebra

Title Proper

Applications of process algebra

Place of Publication, Distribution, etc.

Cambridge ; New York

Name of Publisher, Distributor, etc.

Cambridge University Press

Date of Publication, Distribution, etc.

2004

Specific Material Designation and Extent of Item

ix, 317 p. : ill. ; 25 cm.

Other Title Information

Cambridge tracts in theoretical computer science ;71

Text of Note

First published 1990

Text of Note

Includes bibliographical references and indexes

Text of Note

edited by J.C.M. Baeten

Text of Note

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

Entry Element

، Machine theory

Entry Element

، Parallel processing )Electronic computers(

Entry Element

Mathematics ، Computer science

Entry Element

، Computer network protocols

Entry Element

، Axiomatic set theory

Number

Class number

Relator Code

TI

AU Baeten, J. C. M

SE