A linear-time-branching-time spectrum for behavioral specification theories
From MaRDI portal
Publication:2291820
DOI10.1016/j.jlamp.2019.100499zbMath1433.68214arXiv1604.06503OpenAlexW3021917299MaRDI QIDQ2291820
Publication date: 31 January 2020
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1604.06503
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (max. 100)
A linear-time branching-time perspective on interface automata ⋮ Computing branching distances with quantitative games ⋮ The quantitative linear-time-branching-time spectrum ⋮ Logical vs. behavioural specifications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular construction and partial order semantics of Petri nets
- General quantitative specification theories with modal transition systems
- Nested semantics over finite trees are equationally hard
- Graphical versus logical specifications
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Calculi for synchrony and asynchrony
- A context dependent equivalence between processes
- Failures semantics and deadlocking of modular Petri nets
- Bisimulation through probabilistic testing
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- Structured operational semantics and bisimulation as a congruence
- Modal event-clock specifications for timed component-based design
- Weighted modal transition systems
- The quantitative linear-time-branching-time spectrum
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
- A Modal Interface Theory for Component-based Design
- Extending modal transition systems with structured labels
- Ensuring Reachability by Design
- Structural Refinement for the Modal nu-Calculus
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
- Modal Transition Systems: Composition and LTL Model Checking
- A Theory of Communicating Sequential Processes
- Algebraic laws for nondeterminism and concurrency
- Communicating sequential processes
- Reactive Systems
This page was built for publication: A linear-time-branching-time spectrum for behavioral specification theories