scientific article; zbMATH DE number 4064457

MaRDI QIDQ3798221zbMATH OpenFDO

Authors Ludmila A. Cherkasova

Publication date 1988

zbMATH Keywords

concurrent processesprocess semanticsalgebra of finite processesmodels for concurrent systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Recommendations

• An algebra of concurrent non-deterministic processes
• scientific article; zbMATH DE number 4041280
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• Algebraic laws for nondeterminism and concurrency

Cited in

(24)

• scientific article; zbMATH DE number 1555178 (Why is no real title available?)
• Port automata and the algebra of concurrent porcesses
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• A regular viewpoint on processes and algebra
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• scientific article; zbMATH DE number 3970098 (Why is no real title available?)
• Process algebra having inherent choice: revised semantics for concurrent systems
• scientific article; zbMATH DE number 177270 (Why is no real title available?)
• Order algebras: a quantitative model of interaction
• Modelling mutual exclusion in a process algebra with time-outs
• An algebra of concurrent non-deterministic processes
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• A truly concurrent semantics for a process algebra using resource pomsets
• Processes, Terms and Cycles: Steps on the Road to Infinity
• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• scientific article; zbMATH DE number 4055020 (Why is no real title available?)
• scientific article; zbMATH DE number 17794 (Why is no real title available?)
• Models for concurrency: Towards a classification
• scientific article; zbMATH DE number 515735 (Why is no real title available?)
• An algebraic and algorithmic method for analysing transition systems
• Process algebra and model checking
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 4041280 (Why is no real title available?)
• scientific article; zbMATH DE number 1759612 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3798221)