scientific article; zbMATH DE number 2087557
From MaRDI portal
Publication:4738368
zbMath1051.68658MaRDI QIDQ4738368
Hubert Garavel, Radu Mateescu, Frédéric Lang
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040009.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formal modelling and verification of GALS systems using GRL and CADP ⋮ Translating FSP into LOTOS and networks of automata ⋮ Revisiting sequential composition in process calculi ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP