In computer science, occam-π (or occam-pi) is the name of a variant of the programming language occam developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent. The name reflects the introduction of elements of π-calculus (pi-calculus) into occam, especially concepts involving mobile agents (processes) and data. The language contains several extensions to occam 2.1, including: * Nested protocols * Run-time process creation * Mobile channels, data, and processes * Recursion * Protocol inheritance * Array constructors * Extended rendezvous
Property | Value |
---|---|
dbo:abstract |
|
dbo:influencedBy | |
dbo:wikiPageExternalLink | |
dbo:wikiPageID |
|
dbo:wikiPageLength |
|
dbo:wikiPageRevisionID |
|
dbo:wikiPageWikiLink |
|
dbp:designers |
|
dbp:developers |
|
dbp:influencedBy | |
dbp:name |
|
dbp:paradigm | |
dbp:platform | |
dbp:wikiPageUsesTemplate | |
dcterms:subject | |
gold:hypernym | |
rdf:type | |
rdfs:comment |
|
rdfs:label |
|
owl:sameAs | |
prov:wasDerivedFrom | |
foaf:isPrimaryTopicOf | |
foaf:name |
|
is dbo:wikiPageRedirects of | |
is dbo:wikiPageWikiLink of | |
is dbp:dialects of | |
is foaf:primaryTopic of |