About: PEPA

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

Process calculus

Property	Value
dbo:description	process calculus (en) Prozesskalkül (de)
dbo:wikiPageExternalLink	http://www.dcs.ed.ac.uk/pepa
dbo:wikiPageWikiLink	dbr:Eclipse_(software) dbc:Process_calculi dbr:Jane_Hillston dbr:Exponential_distribution dbr:Stochastic dbr:Deadlock dbr:Stochastic_process dbr:Gordon_Plotkin dbr:Robin_Milner dbr:Response_time_(technology) dbr:Operational_semantics dbr:Reversed_compound_agent_theorem dbc:Theoretical_computer_science dbr:Throughput dbr:Communicating_Sequential_Processes dbr:Process_algebra dbr:Product_form_stationary_distribution dbr:BNF_grammar dbr:C.A.R._Hoare dbr:Calculus_of_Communicating_Systems dbr:Continuous-time_Markov_process
dbp:wikiPageUsesTemplate	dbt:Concurrent_computing dbt:For dbt:Refimprove dbt:Reflist dbt:Short_description
dct:subject	dbc:Process_calculi dbc:Theoretical_computer_science
rdfs:label	PEPA (en)
owl:sameAs	freebase:PEPA wikidata:PEPA dbpedia-global:PEPA
prov:wasDerivedFrom	wikipedia-en:PEPA?oldid=1241386555&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:PEPA
is dbo:knownFor of	dbr:Jane_Hillston
is dbo:wikiPageDisambiguates of	dbr:Pepa
is dbo:wikiPageWikiLink of	dbr:Process_calculus dbr:Jane_Hillston dbr:Calculus_of_communicating_systems dbr:List_of_model_checking_tools dbr:Product-form_solution dbr:Mean_value_analysis dbr:Pepa dbr:TAPAs_model_checker dbr:Layered_queueing_network
is dbp:knownFor of	dbr:Jane_Hillston
is foaf:primaryTopic of	wikipedia-en:PEPA

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International