Publication:4494380
From MaRDI portal
zbMath0957.68080MaRDI QIDQ4494380
Marius Bozga, Lucian Ghirvu, Jean-Claude Fernandez
Publication date: 10 August 2000
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Application of static analyses for state-space reduction to the microcontroller binary code, State space reduction for process algebra specifications, On partial state matching, Abstract interpretation of microcontroller code: intervals meet congruences, State Space Reduction of Linear Processes Using Control Flow Reconstruction