LTS
labelled transition system

---

LTS

Tag #lts

15 papers:

ESEC-FSE-2017-RegisDDA #named

CLTSA: labelled transition system analyser with counting fluent support (GR, RD, ND, NA), pp. 979–983.

FASE-2016-PutterW #automaton #correctness #verification

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.

GaM-2015-Wijs #confluence #detection

Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.

PEPM-2012-HamiltonJ

Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.

TACAS-2012-LangM #equation #model checking #network #using

Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems (FL, RM), pp. 141–156.

ICGT-2010-BonchiGMM #term rewriting

Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.

ICGT-2010-Monreale #automaton #calculus #encoding #process #semantics #visual notation

LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.

SAC-2009-SinnigCK #automaton #case study #modelling #semantics

LTS semantics for use case models (DS, PC, FK), pp. 365–370.

SEKE-2008-ParkK #automaton #bound #constraints #model checking #using

Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.

LICS-2004-Huth

Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.

ESEC-FSE-2003-UchitelKM #behaviour #using

Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.

TACAS-2002-Mateescu #calculus #model checking #μ-calculus

Local Model-Checking of Modal μ-Calculus on Acyclic Labeled Transition Systems (RM), pp. 281–295.

LICS-2001-Jeffrey #induction #type system

A Symbolic Labelled Transition System for Coinductive Subtyping of Fμ≤ Types (AJ), pp. 323–333.

TAPSOFT-1997-Breugel #calculus

A Labelled Transition Systems for pi-epsilon-Calculus (FvB), pp. 321–332.

ICALP-1994-Breugel

Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.