Labelled Transition Systems

E1971558 UNEXPLORED

Labelled Transition Systems are mathematical models used in theoretical computer science to represent and analyze the behavior of concurrent or reactive systems through states and labelled transitions between them.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Labelled Transition Systems canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

LOTOS → hasSemanticBasis → Labelled Transition Systems ⓘ