The LTS WorkBench

Alceste Scalas, Massimo Bartoletti

    Research output: Contribution to journalConference articlepeer-review


    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.

    Original languageEnglish
    Pages (from-to)86-98
    Number of pages13
    JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
    Publication statusPublished - 19 Aug 2015
    Event8th Interaction and Concurrency Experience, ICE 2015 - Grenoble, France
    Duration: 4 Jun 20155 Jun 2015

    Bibliographical note

    © 2015 The Authors


    Dive into the research topics of 'The LTS WorkBench'. Together they form a unique fingerprint.

    Cite this