Mobility Reading Group

The LTS WorkBench

Alceste SCALAS, Massimo BARTOLETTI

8th Interaction and Concurrency Experience (ICE 2015). p. 86 - 98

Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult and elusive: very simple process algebra terms can give rise to a large (possibly infinite) number of intricate transitions and interactions. To ease this kind of study, we present LTSwb, a flexible and extensible LTS toolbox: this tutorial paper discusses its design and functionalities.

Paper Electronic version via DOI website

BibTeX
Short
Long

@inproceedings{SB2015,
  author = {Alceste Scalas and Massimo Bartoletti},
  title = {{The LTS WorkBench}},
  booktitle = {8th Interaction and Concurrency Experience},
  series = {EPTCS},
  volume = {189},
  pages = {86--98},
  year = 2015
}

@inproceedings{SB2015,
  author = {Alceste Scalas and Massimo Bartoletti},
  title = {{The LTS WorkBench}},
  booktitle = {8th Interaction and Concurrency Experience},
  series = {EPTCS},
  volume = {189},
  pages = {86--98},
  doi = "10.4204/EPTCS.189.8",
  year = 2015
}