The LTS workbench

MaRDI QIDQ5216154zbMATH OpenFDO

Authors Alceste Scalas, Massimo Bartoletti

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1508.04853, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 557977
• Labelled transition logic: An outline
• Theoretical Aspects of Computing - ICTAC 2004
• MoTraS: a tool for modal transition systems and their extensions
• Logic of transition systems

Cited in

(6)

• On constructibility and unconstructibility of LTS operators from other LTS operators
• The \textsc{Comm}\textsc{Unity} workbench
• \textsc{WiCcA}: LTS generation tool for wire calculus
• scientific article; zbMATH DE number 2079818 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• Lang-n-Send Extended: Sending Regular Expressions to Monitors

This page was built for publication: The LTS workbench

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216154)