عنوان

Applications of process algebra

(Number (ISBN

0521607507

Country Code

IR

Number

45058

.Language of Text, Soundtrack etc

انگلیسی

Country of publication

IR

Title Proper

Applications of process algebra

General Material Designation

[Book]

First Statement of Responsibility

/ J.C.M. Baeten

Edition Statement

1st ed

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.

Other Physical Details

:ill.

Dimensions

; 25 cm

Series Title

Cambridge tracts in theoretical computer science

Text of Note

First published 1990

Text of Note

Includes bibliographical references and indexes.

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.

Machine theory.

Computer science--Mathematics.

Computer network protocols.

Axiomatic set theory.

Class number

Book number

Baeten, J. C. M.

Country

Iran

Agency

University of Tehran. Library of Technical Camp 2

Old cataloging

p

BL

1

Y