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

concurrencynondeterminismfinite processes

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

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