A formal definition of time in LOTOS

DOI10.1007/S001650050015MaRDI QIDQ1293890zbMATH OpenOpenAlexFDO

Authors Luc Léonard, Guy Leduc

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)

Recommendations

• Time structures. Formal description and algorithmic representation
• A definition of time
• Formalization of time and space
• Publication:4376796
• Publication:4434929
• A foundational delineation of poly-time
• Timed temporal logics
• Publication:3773852
• Publication:4299751
• A formalization of polytime functions

Cited in

(11)

• Equivalence checking 40 years after: a review of bisimulation tools
• TTL: A modular language for hardware/software systems design.
• Multimedia in the E-LOTOS process algebra
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• scientific article; zbMATH DE number 140239 (Why is no real title available?)
• Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
• scientific article; zbMATH DE number 176359 (Why is no real title available?)
• A definition of time
• Generating priority rewrite systems for OSOS process languages
• TIC: a tImed calculus
• scientific article; zbMATH DE number 1852157 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293890)