Welcome to LTSA

Top  Next

 

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)

 

clip0019             clip0015ConcurrencyHotSpotbook2

 

 

 

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