Linearization in parallel pCRL (Q5946027)
From MaRDI portal
scientific article; zbMATH DE number 1658054
Language | Label | Description | Also known as |
---|---|---|---|
English | Linearization in parallel pCRL |
scientific article; zbMATH DE number 1658054 |
Statements
Linearization in parallel pCRL (English)
0 references
22 July 2002
0 references
parallel pCRL processes
0 references
\(\mu\)CRL
0 references
0 references
0 references