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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n14http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n18http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:PROMELA
rdfs:label
PROMELA PROMELA
rdfs:comment
PROMELA (PROtocol MEta LAnguage) est un langage de spécification de systèmes asynchrones, ce qui en d'autres termes veut dire que ce langage permet la description de systèmes concurrents, comme les protocoles de communication. Il autorise la création dynamique de processus. La communication entre ces différents processus peut se faire en partageant les variables globales ou alors en utilisant des canaux de communication. On peut ainsi simuler des communications synchrones ou asynchrones. Promela est associé à l'outil de validation Spin. * Portail de la programmation informatique
owl:sameAs
dbpedia-it:PROMELA dbr:Promela n14:02pqjzd dbpedia-de:PROMELA dbpedia-ko:프로멜라 n18:2776329536 wikidata:Q948666
dbo:wikiPageID
512278
dbo:wikiPageRevisionID
135339755
dbo:wikiPageWikiLink
dbpedia-fr:Protocole_de_communication category-fr:Langage_informatique dbpedia-fr:Langage_informatique
dbo:wikiPageLength
981
dct:subject
category-fr:Langage_informatique
prop-fr:wikiPageUsesTemplate
n7:Portail n7:Langue n7:Ébauche
prov:wasDerivedFrom
wikipedia-fr:PROMELA?oldid=135339755&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:PROMELA
dbo:abstract
PROMELA (PROtocol MEta LAnguage) est un langage de spécification de systèmes asynchrones, ce qui en d'autres termes veut dire que ce langage permet la description de systèmes concurrents, comme les protocoles de communication. Il autorise la création dynamique de processus. La communication entre ces différents processus peut se faire en partageant les variables globales ou alors en utilisant des canaux de communication. On peut ainsi simuler des communications synchrones ou asynchrones. En PROMELA, il n'y a pas de différence entre les instructions et les conditions. Une instruction ne peut être passée que si elle est exécutable, une condition que si elle est vraie. Sinon le processus est bloqué jusqu'à ce que la condition devienne vraie. Promela est associé à l'outil de validation Spin. * Portail de la programmation informatique
dbo:developer
dbpedia-fr:Gerard_J._Holzmann