Generating the syntactic and semantics graphs for a Markovian process algebra
From MaRDI portal
(Redirected from Publication:879408)
Recommendations
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- A calculus of communicating systems
- A process algebra for probabilistic and nondeterministic processes
- Algebraic theory of probabilistic and nondeterministic processes.
- Communicating sequential processes
- Process algebra for synchronous communication
Cited in
(2)
This page was built for publication: Generating the syntactic and semantics graphs for a Markovian process algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879408)