Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Language_Of_Temporal_Ordering_Specification> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Language_Of_Temporal_Ordering_Specification abstract "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering 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 1989, and it was published as ISO 8807 in 1990. 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 well.
- Language_Of_Temporal_Ordering_Specification wikiPageExternalLink tutorial.
- Language_Of_Temporal_Ordering_Specification wikiPageID "1117722".
- Language_Of_Temporal_Ordering_Specification wikiPageRevisionID "595131800".
- Language_Of_Temporal_Ordering_Specification hasPhotoCollection Language_Of_Temporal_Ordering_Specification.
- 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 type Ability105616246.
- Language_Of_Temporal_Ordering_Specification type Abstraction100002137.
- Language_Of_Temporal_Ordering_Specification type Cognition100023271.
- Language_Of_Temporal_Ordering_Specification type Communication100033020.
- Language_Of_Temporal_Ordering_Specification type FormalMethods.
- Language_Of_Temporal_Ordering_Specification type FormalSpecificationLanguages.
- Language_Of_Temporal_Ordering_Specification type Know-how105616786.
- Language_Of_Temporal_Ordering_Specification type Language106282651.
- Language_Of_Temporal_Ordering_Specification type Method105660268.
- Language_Of_Temporal_Ordering_Specification type PsychologicalFeature100023100.
- Language_Of_Temporal_Ordering_Specification type ProgrammingLanguage.
- Language_Of_Temporal_Ordering_Specification type Software.
- Language_Of_Temporal_Ordering_Specification type Work.
- Language_Of_Temporal_Ordering_Specification type CreativeWork.
- Language_Of_Temporal_Ordering_Specification type InformationEntity.
- Language_Of_Temporal_Ordering_Specification comment "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering 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 1989, and it was published as ISO 8807 in 1990.".
- Language_Of_Temporal_Ordering_Specification label "Language Of Temporal Ordering Specification".
- Language_Of_Temporal_Ordering_Specification label "Language of Temporal Ordering Specification".
- 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 Q1805432.
- Language_Of_Temporal_Ordering_Specification sameAs Language_Of_Temporal_Ordering_Specification.
- Language_Of_Temporal_Ordering_Specification wasDerivedFrom Language_Of_Temporal_Ordering_Specification?oldid=595131800.
- Language_Of_Temporal_Ordering_Specification isPrimaryTopicOf Language_Of_Temporal_Ordering_Specification.