Logic of transition systems (original) (raw)
Related papers
Decidable first-order transition logics for PA-processes
Information and Computation, 2005
Reasoning about higher-order processes
Lecture Notes in Computer Science, 1995
An algebraic characterization of transition system equivalences
Information and Computation, 1989
On the decidability of process equivalences for the π-calculus
Theoretical Computer Science, 1997
Mathematical Structures in Computer Science, 1998
Modal Logic, Transition Systems and Processes
Journal of Logic and Computation, 1994
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, 2009
Characteristic formulae for fixed-point semantics: a general framework
Mathematical Structures in Computer Science, 2012
A Logical Study of Distributed Transition Systems
Information and Computation, 1995
Decidability, behavioural equivalences and infinite transition graphs
1991
A non-standard semantics for generating reduced transition systems
Nicoletta Francesco, Antonella Santone, gigliola vaglini
Lecture Notes in Computer Science, 1997
Mathematical Foundations of Programming Semantics, 1994
First-order μ -calculus over generic transition systems and applications to the situation calculus
Information and Computation
Modular Semantics for Transition System Specifications with Negative Premises
On the Unification of Process Semantics: Logical Semantics
Electronic Proceedings in Theoretical Computer Science, 2011
Observations on the Decidability of Transitions
Lecture Notes in Computer Science, 2004
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
Information and Computation, 1999
On the axiomatizability of priority II
Theoretical Computer Science, 2011
Transition systems, infinitary languages and the semantics of uniform concurrency
1985
Towards a Generic Tool for Reasoning about Labeled Transition Systems
Mathematical Foundations of Programming Semantics, 1992
Towards a Logic of Morphisms and Sequential Programs
1995
Labelled transition logic: an outline
Acta Informatica, 2001
An Epistemic Logic for Labelled Transition Systems
2011
Computation Paths Logic: An Expressive, yet Elementary, Process Logic
1997
Equivalence of recursive specifications in process algebra
Information Processing Letters, 2001
Arithmetical axiomatization of first-order temporal logic
Information Processing Letters, 1987
Priority and abstraction in process algebra
Foundation of Software …, 1994
Finite equational bases in process algebra: Results and open questions
Processes, Terms and Cycles: Steps on the Road to Infinity, 2005
On the Modal Definability of Simulability by Finite Transitive Models
Studia Logica - An International Journal for Symbolic Logic, 2011
Equivalences and preorders of transition systems
Lecture Notes in Computer Science, 1993