An algebra of concurrent non-deterministic processes

DOI10.1016/0304-3975(91)90304-KMaRDI QIDQ1179704zbMATH OpenOpenAlexFDO

Authors Ludmila A. Cherkasova, Vadim E. Kotov

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90304-k

zbMATH Keywords

concurrencyfinite processesnondeterminism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 4064457
• scientific article; zbMATH DE number 17794
• Algebraic laws for nondeterminism and concurrency
• Process Algebra

Cites work

• 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

Cited in

(30)

• 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)