1Belgian-Spanish Proposal for a Time Extended LOTOS Article Swipe
Related Concepts
Computer science
Synchronization (alternating current)
Protocol (science)
Service (business)
Control (management)
Nothing
Distributed computing
Programming language
Theoretical computer science
Computer network
Artificial intelligence
Channel (broadcasting)
Economics
Economy
Medicine
Epistemology
Pathology
Alternative medicine
Philosophy
Luc Léonard
,
Guy Leduc
,
David de Frutos Escrig
,
Luis Llana
,
Carlos Miguel
,
Juan Quemada
,
Gualberto Rabay
·
YOU?
·
· 2016
· Open Access
·
· OA: W2246528680
YOU?
·
· 2016
· Open Access
·
· OA: W2246528680
The Formal Description Technique LOTOS, defined in an International Standard [ISO 8807], is a method of defining the behaviour of an (information processing) system in a language with formal syntax and semantics. It has proven very successful in specifying many protocols and services. However in LOTOS, nothing has been foreseen to handle the particular problem of describing time-
Related Topics
Finding more related topics…