Logical vs. behavioural specifications
From MaRDI portal
Publication:2304534
DOI10.1016/j.ic.2019.104487zbMath1435.68189OpenAlexW2729250683WikidataQ126785428 ScholiaQ126785428MaRDI QIDQ2304534
Jan Křetínský, Louis-Marie Traonouez, Uli Fahrenberg, Axel Legay, Nikola Beneš
Publication date: 12 March 2020
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01088150/file/bmts.pdf
Logic in computer science (03B70) 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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Compositional checking of satisfaction
- Graphical versus logical specifications
- Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings
- Results on the propositional \(\mu\)-calculus
- On determinism in modal transition systems
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Comparing disjunctive modal transition systems with an one-selecting variant
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- Partial model checking of modal equations: a survey
- A spatial logic for concurrency. I
- From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
- A linear-time-branching-time spectrum for behavioral specification theories
- Compositionality of Hennessy-Milner logic by structural operational semantics
- 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
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Process Algebra for Modal Transition Systemses
- Structural Refinement for the Modal nu-Calculus
- Modular Markovian Logic
- Modal Transition Systems: Composition and LTL Model Checking
- Parametric Modal Transition Systems
- Automata for the modal μ-calculus and related results
- Algebraic laws for nondeterminism and concurrency
- Acceptance trees
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Supervisory Control for Opacity
- MoTraS: A Tool for Modal Transition Systems and Their Extensions
- Parametric and Quantitative Extensions of Modal Transition Systems
- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
- Residuated Lattices
