MobilityReadingGroup

π-calculus, Session Types research at Imperial College

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.

@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
}