An algebra of concurrent non-deterministic processes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3829262 (Why is no real title available?)
- scientific article; zbMATH DE number 3917726 (Why is no real title available?)
- scientific article; zbMATH DE number 4055020 (Why is no real title available?)
- scientific article; zbMATH DE number 4064457 (Why is no real title available?)
- scientific article; zbMATH DE number 3755880 (Why is no real title available?)
- scientific article; zbMATH DE number 3596235 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- Modeling concurrency with partial orders
- Petri nets, event structures and domains. I
Cited in
(27)- A truly concurrent semantics for a process algebra using resource pomsets
- Nested-unit Petri nets
- Processes in space
- scientific article; zbMATH DE number 1876862 (Why is no real title available?)
- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
- scientific article; zbMATH DE number 4050965 (Why is no real title available?)
- scientific article; zbMATH DE number 3894457 (Why is no real title available?)
- Process algebra having inherent choice: revised semantics for concurrent systems
- scientific article; zbMATH DE number 2102705 (Why is no real title available?)
- scientific article; zbMATH DE number 4064457 (Why is no real title available?)
- scientific article; zbMATH DE number 919840 (Why is no real title available?)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- scientific article; zbMATH DE number 1533824 (Why is no real title available?)
- scientific article; zbMATH DE number 1534595 (Why is no real title available?)
- Termination, deadlock and divergence
- Process Algebra for Parallel and Distributed Processing
- scientific article; zbMATH DE number 17794 (Why is no real title available?)
- Port automata and the algebra of concurrent porcesses
- Processes with multiple entries and exits
- Algebraic laws for nondeterminism and concurrency
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
- An algebra for process creation
- Order algebras: a quantitative model of interaction
- Axiomatizing a fragment of PAFAS
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- scientific article; zbMATH DE number 3970100 (Why is no real title available?)
- On relating concurrency and nondeterminism
This page was built for publication: An algebra of concurrent non-deterministic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179704)