The LTS WorkBench

Abstract

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.

Publication DOI: https://doi.org/10.4204/EPTCS.189.8
Divisions: College of Engineering & Physical Sciences > School of Informatics and Digital Engineering > Computer Science
Additional Information: © 2015 The Authors
Uncontrolled Keywords: Software
Publication ISSN: 2075-2180
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference article
Published Date: 2015-08-19
Authors: Scalas, Alceste (ORCID Profile 0000-0002-1153-6164)
Bartoletti, Massimo

Download

[img]

Version: Published Version

| Preview

Export / Share Citation


Statistics

Additional statistics for this record