scientific article; zbMATH DE number 1973989

zbMath1037.68556MaRDI QIDQ4422085

Frédéric Lang, Hubert Garavel

Publication date: 3 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2529/25290276.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Revisiting sequential composition in process calculi ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular ⋮ Towards Property Oriented Testing

Uses Software

• E-LOTOS
• IF-2.0
• SPIN
• STG
• LTL2BA

This page was built for publication: