About: Process calculi

Property	Value
rdf:type	skos:Concept
rdfs:label	Process calculi
skos:broader	dbpedia:Category:Abstract_algebra dbpedia:Category:Computational_models dbpedia:Category:Logical_calculi dbpedia:Category:Concurrency dbpedia:Category:Process_(computing) dbpedia:Category:Formal_specification_languages
skos:prefLabel	Process calculi
is skos:subject of	dbpedia:Communicating_sequential_processes dbpedia:Language_Of_Temporal_Ordering_Specification dbpedia:Actor_model_and_process_calculi dbpedia:Pi-calculus dbpedia:Actor_model_and_process_calculi_history dbpedia:Join-calculus dbpedia:PEPA dbpedia:Calculus_of_Broadcasting_Systems dbpedia:MCRL2 dbpedia:API-Calculus dbpedia:Algebra_of_Communicating_Processes dbpedia:Calculus_of_communicating_systems dbpedia:Process_calculus dbpedia:Ambient_calculus dbpedia:Unbounded_nondeterminism dbpedia:Temporal_Process_Language