An algebra of concurrent non-deterministic processes
An algebra of finite processes (\(\text{AFP}_ 1\)) is introduced. The semantics of a process is defined as a set of partial orders. Besides two relations between process elements (i.e. precedence and concurrency) the relation of alternative is implicitly represented by an alphabet of non-actions (reflecting the fact the action was not chosen due to alternative). Another special alphabet is introduced to denote deadlock actions. The axiomatization is proved to be sound and complete and it is shown how properties of processes may be deduced from a given system of axioms.
- A calculus of communicating systems
- A Theory of Communicating Sequential Processes
- 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?)
- Modeling concurrency with partial orders
- Petri nets, event structures and domains. I
- An algebra for process creation
- A truly concurrent semantics for a process algebra using resource pomsets
- Nested-unit Petri nets
- Axiomatizing a fragment of PAFAS
- Process algebra having inherent choice: revised semantics for concurrent systems
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
- Process Algebra for Parallel and Distributed Processing
- Processes in space
- scientific article; zbMATH DE number 3970100 (Why is no real title available?)
- Algebraic laws for nondeterminism and concurrency
- scientific article; zbMATH DE number 4050965 (Why is no real title available?)
- scientific article; zbMATH DE number 4064457 (Why is no real title available?)
- scientific article; zbMATH DE number 17794 (Why is no real title available?)
- scientific article; zbMATH DE number 1342161 (Why is no real title available?)
- scientific article; zbMATH DE number 1533824 (Why is no real title available?)
- scientific article; zbMATH DE number 1534595 (Why is no real title available?)
- Order algebras: a quantitative model of interaction
- scientific article; zbMATH DE number 1876862 (Why is no real title available?)
- scientific article; zbMATH DE number 2102705 (Why is no real title available?)
- scientific article; zbMATH DE number 860124 (Why is no real title available?)
- scientific article; zbMATH DE number 897903 (Why is no real title available?)
- scientific article; zbMATH DE number 919840 (Why is no real title available?)
- Processes with multiple entries and exits
- scientific article; zbMATH DE number 3894457 (Why is no real title available?)
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Termination, deadlock and divergence
- On relating concurrency and nondeterminism
- Port automata and the algebra of concurrent porcesses
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)
