Recommendations
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)