Matches in Library of Congress for { <http://lccn.loc.gov/2005279832> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2005279832 contributor B10182354.
- 2005279832 created "2004.".
- 2005279832 date "2004".
- 2005279832 date "2004.".
- 2005279832 dateCopyrighted "2004.".
- 2005279832 description "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.".
- 2005279832 description "Includes bibliographical references and indexes.".
- 2005279832 extent "ix, 317 p. :".
- 2005279832 identifier "0521607507 (pbk.)".
- 2005279832 identifier 2005279832-d.html.
- 2005279832 identifier 2005279832-t.html.
- 2005279832 isPartOf "Cambridge tracts in theoretical computer science ; 17".
- 2005279832 issued "2004".
- 2005279832 issued "2004.".
- 2005279832 language "eng".
- 2005279832 publisher "Cambridge ; New York : Cambridge University Press,".
- 2005279832 subject "512 20".
- 2005279832 subject "Algebra".
- 2005279832 subject "Axiomatic set theory.".
- 2005279832 subject "Computer network protocols.".
- 2005279832 subject "Computer science Mathematics.".
- 2005279832 subject "Machine theory.".
- 2005279832 subject "Parallel processing (Electronic computers)".
- 2005279832 subject "QA267 .A67 2004".
- 2005279832 tableOfContents "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.".
- 2005279832 title "Applications of process algebra / edited by J.C.M. Baeten.".
- 2005279832 type "text".