BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
LTS
labelled transition system
Google LTS

Tag #lts

15 papers:

ESEC-FSEESEC-FSE-2017-RegisDDA #named
CLTSA: labelled transition system analyser with counting fluent support (GR, RD, ND, NA), pp. 979–983.
FASEFASE-2016-PutterW #automaton #correctness #verification
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.
GaMGaM-2015-Wijs #confluence #detection
Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.
PEPMPEPM-2012-HamiltonJ
Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.
TACASTACAS-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.
ICGTICGT-2010-BonchiGMM #term rewriting
Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.
ICGTICGT-2010-Monreale #automaton #calculus #encoding #process #semantics #visual notation
LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
SACSAC-2009-SinnigCK #automaton #case study #modelling #semantics
LTS semantics for use case models (DS, PC, FK), pp. 365–370.
SEKESEKE-2008-ParkK #automaton #bound #constraints #model checking #using
Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.
LICSLICS-2004-Huth
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.
ESEC-FSEESEC-FSE-2003-UchitelKM #behaviour #using
Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.
TACASTACAS-2002-Mateescu #calculus #model checking #μ-calculus
Local Model-Checking of Modal μ-Calculus on Acyclic Labeled Transition Systems (RM), pp. 281–295.
LICSLICS-2001-Jeffrey #induction #type system
A Symbolic Labelled Transition System for Coinductive Subtyping of Fμ≤ Types (AJ), pp. 323–333.
TAPSOFTTAPSOFT-1997-Breugel #calculus
A Labelled Transition Systems for pi-epsilon-Calculus (FvB), pp. 321–332.
ICALPICALP-1994-Breugel
Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.