Publication:4808829
From MaRDI portal
zbMath1064.68548MaRDI QIDQ4808829
Clara Benac Earle, John Derrick, Thomas Arts
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910184.htm
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Equational Abstractions for Reducing the State Space of Rewrite Theories, Verification of parametric concurrent systems with prioritised FIFO resource management, Model Checking Erlang Programs – Abstracting Recursive Function Calls, State Space Reduction of Linear Processes Using Control Flow Reconstruction
Uses Software