Unfolding Concurrent Well-Structured Transition Systems

DOI10.1007/978-3-540-71209-1_55zbMath1186.68321OpenAlexW1586489249MaRDI QIDQ5758140

Grégoire Sutre, Frédéric Herbreteau, T. Q. Tran

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_55

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: Unfolding Concurrent Well-Structured Transition Systems