Welcome to LTSA
The Labelled Transition System Analyser (LTSA)
Help Guide
As featured in "Concurrency: State Models and Java Programs", Jeff Magee and Jeff Kramer,
John Wiley & Sons Inc; 2Rev Ed edition (16 Jun 2006) (click book covers to purchase)
LTSA Home Page LTSA Eclipse Home Page
Email: ltsa@doc.ic.ac.uk
Distributed Systems Engineering Group, Department of Computing, 180 Queen's Gate, Imperial College London , SW7 2AZ United Kingdom