Safe Reasoning with Logic LTS
From MaRDI portal
Publication:3599086
DOI10.1007/978-3-540-95891-8_35zbMath1206.68189OpenAlexW1626908232MaRDI QIDQ3599086
Publication date: 3 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-95891-8_35
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Safe reasoning with logic LTS
- A logical view of composition
- Conjunction on processes: Full abstraction via ready-tree semantics
- Processes with local and global liveness requirements
- Refusal Simulation and Interactive Games
- Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
- A Theory of Communicating Sequential Processes
- Nets, Terms and Formulas
- Ready Simulation for Concurrency: It’s Logical!
This page was built for publication: Safe Reasoning with Logic LTS