About: Process calculi

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	3434402 (xsd:integer)
dbo:wikiPageRevisionID	547867532 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Process calculi (en)
skos:broader	dbc:Logical_calculi dbc:Formal_specification_languages dbc:Process_(computing) dbc:Concurrency_(computer_science) dbc:Abstract_algebra dbc:Models_of_computation
skos:prefLabel	Process calculi (en)
prov:wasDerivedFrom	wikipedia-en:Category:Process_calculi?oldid=547867532&ns=14
is dbo:wikiPageWikiLink of	dbr:MCRL2 dbr:Algebra_of_communicating_processes dbr:Join-calculus dbr:Unbounded_nondeterminism dbr:E-LOTOS dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Calculus_of_broadcasting_systems dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:PEPA dbr:Temporal_Process_Language dbr:Actor_model_and_process_calculi_history dbr:Language_Of_Temporal_Ordering_Specification dbr:Stochastic_probe dbr:Actor_model_and_process_calculi dbr:Ambient_calculus dbr:API-Calculus dbr:Sequential_composition dbr:Process_calculus dbr:Π-calculus
is dcterms:subject of	dbr:MCRL2 dbr:Algebra_of_communicating_processes dbr:Join-calculus dbr:Unbounded_nondeterminism dbr:E-LOTOS dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Calculus_of_broadcasting_systems dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:PEPA dbr:Temporal_Process_Language dbr:Actor_model_and_process_calculi_history dbr:Language_Of_Temporal_Ordering_Specification dbr:Stochastic_probe dbr:Actor_model_and_process_calculi dbr:Ambient_calculus dbr:API-Calculus dbr:Sequential_composition dbr:Process_calculus dbr:Π-calculus
is skos:related of	dbc:Actor_model_(computer_science)