A Timed Full LOTOS with Time/Action Tree Semantics
1995; World Scientific; Linguagem: Inglês
10.1142/9789812831583_0008
ISSN1793-1096
AutoresTommaso Bolognesi, Ferdinando Lucidi,
Tópico(s)Time Series Analysis and Forecasting
ResumoAMAST Series in ComputingTheories and Experiences for Real-Time System Development, pp. 205-237 (1995) No AccessA Timed Full LOTOS with Time/Action Tree SemanticsTommaso Bolognesi and Ferdinando LucidiTommaso BolognesiC.N.R. CNUCE Institute, 36, Via S. Maria, 56100 - Pisa, Italyphone: +39-50-593.319, fax: +39-50-589.354 and Ferdinando LucidiFUB - Fondazione Ugo Bordoni, 59, Via Baldassarre Castiglione, 00142 - Roma, Italyphone: +39 6 5480 3342, fax: +39 6 5480 4405https://doi.org/10.1142/9789812831583_0008Cited by:1 PreviousNext AboutSectionsPDF/EPUB ToolsAdd to favoritesDownload CitationsTrack CitationsRecommend to Library ShareShare onFacebookTwitterLinked InRedditEmail Abstract: The following sections are included: Introduction A Timed Interpretation of Full LOTOS Adding Time-oriented Operators Small Examples Symmetric Timeout Spacing non Consecutive Actions Railroad Crossing Specification of the Tick-Tock Service The Tick-Tock Service Timed Full LOTOS Specification of the Tick-Tock Conclusions FiguresReferencesRelatedDetailsCited By 1The verus language: Representing time efficiently with BDDsSérgio Campos and Edmund Clarke3 June 2005 Theories and Experiences for Real-Time System DevelopmentMetrics History PDF download
Referência(s)