A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
DOI10.1007/978-3-540-68746-7_22zbMath1143.68460OpenAlexW2172719063MaRDI QIDQ5900141
Roland Meyer, Tim Strazny, Victor Khomenko
Publication date: 3 July 2008
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_22
model checkingmobile systemsPetri net unfoldingsfinite control processes\(\pi \)-Calculussafe processes
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 (6)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic verification of a mobile network
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- An improvement of McMillan's unfolding algorithm
- Model checking mobile processes
- Canonical prefixes of Petri net unfoldings
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
This page was built for publication: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings