A formal definition of time in LOTOS
From MaRDI portal
Publication:1293890
DOI10.1007/S001650050015zbMATH Open0934.68056OpenAlexW2116127628MaRDI QIDQ1293890FDOQ1293890
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
Recommendations
- Time structures. Formal description and algorithmic representation
- A definition of time
- Formalization of time and space
- scientific article; zbMATH DE number 1117897
- scientific article; zbMATH DE number 2010001
- A foundational delineation of poly-time
- Timed temporal logics
- scientific article; zbMATH DE number 4033710
- scientific article; zbMATH DE number 604725
- A formalization of polytime functions
Cited In (11)
- TTL: A modular language for hardware/software systems design.
- Title not available (Why is that?)
- Multimedia in the E-LOTOS process algebra
- Title not available (Why is that?)
- Equivalence checking 40 years after: a review of bisimulation tools
- Title not available (Why is that?)
- Generating priority rewrite systems for OSOS process languages
- TIC: a tImed calculus
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- A definition of time
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)
