scientific article; zbMATH DE number 4064457
From MaRDI portal
Publication:3798221
zbMATH Open0652.68026MaRDI QIDQ3798221FDOQ3798221
Authors: Ludmila A. Cherkasova
Publication date: 1988
Title of this publication is not available (Why is that?)
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)
- Process algebra and model checking
- A truly concurrent semantics for a process algebra using resource pomsets
- A regular viewpoint on processes and algebra
- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
- An algebraic and algorithmic method for analysing transition systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modelling mutual exclusion in a process algebra with time-outs
- Title not available (Why is that?)
- Process algebra having inherent choice: revised semantics for concurrent systems
- Title not available (Why is that?)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Title not available (Why is that?)
- An algebra of concurrent non-deterministic processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Port automata and the algebra of concurrent porcesses
- Order algebras: a quantitative model of interaction
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- Title not available (Why is that?)
- Models for concurrency: Towards a classification
- Title not available (Why is that?)
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)