Efficient Checking of Link-Reversal-Based Concurrent Systems

DOI10.1007/978-3-642-32940-1_34zbMath1364.68284OpenAlexW90060165MaRDI QIDQ2912698

Matthias Függer, Josef Widder

Publication date: 25 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_34

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: Efficient Checking of Link-Reversal-Based Concurrent Systems