Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Language_Of_Temporal_Ordering_Specification> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Language_Of_Temporal_Ordering_Specification abstract "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for protocol specification in ISO OSI standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 as E-LOTOS.".
- Language_Of_Temporal_Ordering_Specification wikiPageExternalLink tutorial.
- Language_Of_Temporal_Ordering_Specification wikiPageExternalLink well.
- Language_Of_Temporal_Ordering_Specification wikiPageExternalLink catalogue_detail.htm?csnumber=16258.
- Language_Of_Temporal_Ordering_Specification wikiPageID "1117722".
- Language_Of_Temporal_Ordering_Specification wikiPageLength "2099".
- Language_Of_Temporal_Ordering_Specification wikiPageOutDegree "20".
- Language_Of_Temporal_Ordering_Specification wikiPageRevisionID "648325365".
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Abstract_data_type.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Concurrency_(computer_science).
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Concurrency_control.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Formal_methods.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Formal_specification_languages.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Process_calculi.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Synchronization.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Communications_protocol.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink E-LOTOS.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Formal_methods.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink International_Organization_for_Standardization.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink List_of_International_Organization_for_Standardization_standards.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink OSI_model.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Process_calculus.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Specification_(technical_standard).
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Specification_language.
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLinkText "LOTOS".
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLinkText "Language Of Temporal Ordering Specification".
- Language_Of_Temporal_Ordering_Specification wikiPageWikiLinkText "Lotos".
- Language_Of_Temporal_Ordering_Specification wikiPageUsesTemplate Template:Compu-lang-stub.
- Language_Of_Temporal_Ordering_Specification wikiPageUsesTemplate Template:FOLDOC.
- Language_Of_Temporal_Ordering_Specification wikiPageUsesTemplate Template:ISO_standards.
- Language_Of_Temporal_Ordering_Specification subject Category:Concurrency_(computer_science).
- Language_Of_Temporal_Ordering_Specification subject Category:Concurrency_control.
- Language_Of_Temporal_Ordering_Specification subject Category:Formal_methods.
- Language_Of_Temporal_Ordering_Specification subject Category:Formal_specification_languages.
- Language_Of_Temporal_Ordering_Specification subject Category:Process_calculi.
- Language_Of_Temporal_Ordering_Specification subject Category:Synchronization.
- Language_Of_Temporal_Ordering_Specification hypernym Language.
- Language_Of_Temporal_Ordering_Specification type Area.
- Language_Of_Temporal_Ordering_Specification type Language.
- Language_Of_Temporal_Ordering_Specification type Model.
- Language_Of_Temporal_Ordering_Specification type ProgrammingLanguage.
- Language_Of_Temporal_Ordering_Specification type Area.
- Language_Of_Temporal_Ordering_Specification type Language.
- Language_Of_Temporal_Ordering_Specification type Method.
- Language_Of_Temporal_Ordering_Specification type Model.
- Language_Of_Temporal_Ordering_Specification type Language.
- Language_Of_Temporal_Ordering_Specification type Thing.
- Language_Of_Temporal_Ordering_Specification type Q315.
- Language_Of_Temporal_Ordering_Specification type Q34770.
- Language_Of_Temporal_Ordering_Specification type Q9143.
- Language_Of_Temporal_Ordering_Specification comment "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for protocol specification in ISO OSI standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989.".
- Language_Of_Temporal_Ordering_Specification label "Language Of Temporal Ordering Specification".
- Language_Of_Temporal_Ordering_Specification sameAs Q1805432.
- Language_Of_Temporal_Ordering_Specification sameAs Language_of_Temporal_Ordering_Specification.
- Language_Of_Temporal_Ordering_Specification sameAs m.047jzt.
- Language_Of_Temporal_Ordering_Specification sameAs Q1805432.
- Language_Of_Temporal_Ordering_Specification sameAs ISO_8807.
- Language_Of_Temporal_Ordering_Specification wasDerivedFrom Language_Of_Temporal_Ordering_Specification?oldid=648325365.
- Language_Of_Temporal_Ordering_Specification isPrimaryTopicOf Language_Of_Temporal_Ordering_Specification.