Debugging Process Algebra Specifications

DOI10.1007/978-3-662-46081-8_14zbMath1432.68267OpenAlexW201172970MaRDI QIDQ5172646

Lina Ye, Gwen Salaün

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01087505/file/main-VMCAI.pdf

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)

This page was built for publication: Debugging Process Algebra Specifications