scientific article; zbMATH DE number 1418456
From MaRDI portal
Publication:4942013
zbMath0952.68097MaRDI QIDQ4942013
Mihaela Sighireanu, Hubert Garavel
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Revisiting sequential composition in process calculi ⋮ Unnamed Item ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ To compose, or not to compose, that is the question: an analysis of compositional state space generation ⋮ On the usability of process algebra: An architectural view ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Refined Interfaces for Compositional Verification ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular ⋮ Compositional verification of asynchronous concurrent systems using CADP
Uses Software
This page was built for publication:
