A formal definition of time in LOTOS
type: Item
instance of: scholarly article
title: A formal definition of time in LOTOS
zbMATH Open document ID: 0934.68056
author: Luc Léonard
author: Guy Leduc
published in: Formal Aspects of Computing
publication date: 1999-06-29T00:00:00Z
full work available at URL: https://orbi.uliege.be/handle/2268/2429
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1310403
zbMATH Keywords: ET-LOTOS
MaRDI profile type: Publication
OpenAlex ID: W2116127628
DOI: 10.1007/S001650050015
Recommended article: Time structures. Formal description and algorithmic representation
Recommended article: A definition of time
Recommended article: Formalization of time and space
Recommended article: Q4376796
Recommended article: Q4434929
Recommended article: A foundational delineation of poly-time
Recommended article: Timed Temporal Logics
Recommended article: Q3773852
Recommended article: Q4299751
Recommended article: A Formalization of Polytime Functions
description: scientific article; zbMATH DE number 1310403