E-LOTOS

E1971559 UNEXPLORED

E-LOTOS is an extended version of the LOTOS formal specification language, designed to provide more expressive power and improved features for specifying and verifying concurrent and distributed systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
E-LOTOS canonical	1

Referenced by (1)

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

LOTOS → influenced → E-LOTOS ⓘ