Port automata and the algebra of concurrent porcesses
From MaRDI portal
(Redirected from Publication:791319)
Recommendations
- A Theory of Communicating Sequential Processes
- An algebra of concurrent non-deterministic processes
- scientific article; zbMATH DE number 4064457
- Algebraic laws for nondeterminism and concurrency
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Cites work
- A calculus of communicating systems
- A Powerdomain Construction
- Communicating sequential processes
- Concurrent Processes and Their Syntax
- Distributed processes
- Fuzzy machines in a category
- scientific article; zbMATH DE number 3774868 (Why is no real title available?)
- scientific article; zbMATH DE number 3463159 (Why is no real title available?)
- scientific article; zbMATH DE number 3624762 (Why is no real title available?)
- Mathematical aspects of net theory
- Power domains
- The complexity of problems in systems of communicating sequential processes
- The structure of the “THE”-multiprogramming system
Cited in
(6)- Concurrent transition systems
- The categorical framework of object-oriented concurrent systems
- Concurrent Machines
- scientific article; zbMATH DE number 4035113 (Why is no real title available?)
- scientific article; zbMATH DE number 17542 (Why is no real title available?)
- scientific article; zbMATH DE number 177270 (Why is no real title available?)
This page was built for publication: Port automata and the algebra of concurrent porcesses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q791319)
