Formalizing TLM with Communicating State Machines.

Bernhard Niemann, Christian Haubelt

Browse the full FDL paper archive.