scientific article; zbMATH DE number 2090137

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

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

zbMATH Keywords

process algebraformal verificationErlangtelecommunicationModel checking

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)

Verification of parametric concurrent systems with prioritised FIFO resource management ⋮ Equational Abstractions for Reducing the State Space of Rewrite Theories ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction ⋮ Model Checking Erlang Programs – Abstracting Recursive Function Calls

Uses Software

• Erlang

This page was built for publication: