A formal definition of time in LOTOS

DOI10.1007/s001650050015zbMath0934.68056OpenAlexW2116127628MaRDI QIDQ1293890

Guy Leduc, Luc Léonard

Publication date: 29 June 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://orbi.uliege.be/handle/2268/2429

zbMATH Keywords

ET-LOTOS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ TTL: A modular language for hardware/software systems design. ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Generating priority rewrite systems for OSOS process languages

This page was built for publication: A formal definition of time in LOTOS