Applications of process algebra / edited by J. C. M. Baeten
Saved in:
Personal Name(s): | Baeten, Josephus Cornelius Maria, editor |
---|---|
Imprint: |
Cambridge :
Cambridge University Press,
1990
|
Physical Description: |
IX, 317 Seiten |
Note: |
englisch |
ISBN: |
0521400287 9780521400282 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Cambridge tracts in theoretical computer science ;
17 |
Keywords: |
an introduction to process algebra two simple protocols proving mutual exclusion with process algebra process algebra as a tool for the specification and verification of cim - architectures a process creation mechanism in process algebra correctness proofs for systolic algorithms - palindromes and sorting verification of an algorithm for long time sorting by square comparison on the amoeba protocol process algebra semantics of pool some observations on redundancy in a context a modular approach to protocol verification using process algebra |
Subject (ZB): | |
Classification: |
ZB | |
---|---|
Open Stacks Call number: S 006321-0017'01' Barcode: 1091101721 Available |