عنوان

Applications of process algebra

عنوان اصلي

Applications of process algebra

محل نشرو پخش و غیره

Cambridge ; New York

نام ناشر، پخش کننده و غيره

Cambridge University Press

تاریخ نشرو بخش و غیره

2004

نام خاص و کميت اثر

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

ساير اطلاعات عنواني

Cambridge tracts in theoretical computer science ;71

متن يادداشت

First published 1990

متن يادداشت

Includes bibliographical references and indexes

متن يادداشت

edited by J.C.M. Baeten

متن يادداشت

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

عنصر شناسه ای

، Parallel processing )Electronic computers(

عنصر شناسه ای

Mathematics ، Computer science

عنصر شناسه ای

، Computer network protocols

عنصر شناسه ای

، Axiomatic set theory

شماره

شماره رده

کد نقش

TI

عنصر شناسه اي

AU Baeten, J. C. M

عنصر شناسه اي

SE