Independence Abstractions and Models of Concurrency
From MaRDI portal
Publication:2961560
DOI10.1007/978-3-319-52234-0_9zbMath1484.68140OpenAlexW2569947056MaRDI QIDQ2961560
Daniel Kroening, Marcelo S. Sousa, Vijay D'Silva
Publication date: 21 February 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_9
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Models for concurrency: Towards a classification
- On the nature of events: another perspective in concurrency
- Configuration structures, event structures and Petri nets
- Modeling concurrency with partial orders
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- A brief history of process algebra
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Unfoldings: A partial-order approach to model checking.
- Process algebra for synchronous communication
- Dynamic partial-order reduction for model checking software
- Unfolding-based Partial Order Reduction