This HTML5 document contains 14 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
n9http://es.dbpedia.org/resource/Lotos_(lenguaje_formal)
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://es.wikipedia.org/wiki/Language_Of_Temporal_Ordering_Specification?oldid=118115728&ns=
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Language_Of_Temporal_Ordering_Specification
rdfs:label
Language Of Temporal Ordering Specification
rdfs:comment
Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI. LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos. * Datos: Q1805432
dct:subject
category-es:Métodos_formales category-es:Control_de_concurrencia category-es:Lenguajes_de_especificación
foaf:isPrimaryTopicOf
wikipedia-es:Language_Of_Temporal_Ordering_Specification
dbo:wikiPageID
7925755
dbo:wikiPageRevisionID
118115728
dbo:wikiPageLength
1094
prov:wasDerivedFrom
n8:0
dbo:abstract
Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI. LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos. El trabajo en el estándar se completó en 1988, y fue publicado como ISO 8807 en 1989. Entre 1993 y 2001, un comité de ISO trabajó para definir una versión revisada del estándar LOTOS, que fue publicado en 2001 como E-LOTOS. * Datos: Q1805432
Subject Item
n9:
dbo:wikiPageRedirects
dbpedia-es:Language_Of_Temporal_Ordering_Specification
Subject Item
wikipedia-es:Language_Of_Temporal_Ordering_Specification
foaf:primaryTopic
dbpedia-es:Language_Of_Temporal_Ordering_Specification
Subject Item
dbr:Language_Of_Temporal_Ordering_Specification
owl:sameAs
dbpedia-es:Language_Of_Temporal_Ordering_Specification