Scalas, Alceste and Bartoletti, Massimo (2015). The LTS WorkBench. Electronic Proceedings in Theoretical Computer Science, EPTCS, 189 , pp. 86-98.
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: | ?? 50811700Jl ?? College of Engineering & Physical Sciences > School of Computer Science and Digital Technologies |
| 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
(
0000-0002-1153-6164)
Bartoletti, Massimo |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)