Acronym

Description

FSP

Finite State Processes

LTSA

The Labelled Transition System Analyser

MSC

Message Sequence Chart