scientific article; zbMATH DE number 4064457

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

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)

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)