scientific article; zbMATH DE number 1418456

MaRDI QIDQ4942013zbMATH OpenFDO

Authors Hubert Garavel, Mihaela Sighireanu

Publication date 19 March 2000

zbMATH Keywords

process algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3978362
• Deriving graphical representations of process networks from algebraic expressions
• Processes with multiple entries and exits
• Process algebras for network communication
• Lectures on Concurrency and Petri Nets

Cited in

(15)

• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• On the usability of process algebra: An architectural view
• To compose, or not to compose, that is the question: an analysis of compositional state space generation
• Map-Reduce process algebra: a formalism to describe directed acyclic graph task-based jobs in parallel environments
• Compositional verification of asynchronous concurrent systems using CADP
• Reflections on the future of concurrency theory in general and process calculi in particular
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• scientific article; zbMATH DE number 992012 (Why is no real title available?)
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Refined Interfaces for Compositional Verification
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• From CCS to CSP: the m-among-n synchronisation approach
• A formal verification technique for behavioural model-to-model transformations
• Deriving graphical representations of process networks from algebraic expressions
• Revisiting sequential composition in process calculi

Describes a project that uses

Uses Software

• E-LOTOS

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