Term

Definition

Link

Concurrency

Dictionary of Computing

Acronym

Full Title

FSP

Finite State Processes

LTSA

The Labelled Transition System Analyser

MSC

Message Sequence Chart