Skip to search formSkip to main contentSkip to account menu

Occam-π

Known as: Occam-p, Occam-pi 
In computer science, occam-π (or occam-pi) is the name of a variant of the programming language occam developed by the Kent Retargetable occam… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We describe an extension of imperative CSP with primitives to declare new event names and to exchange them by message passing… 
2013
2013
The next generation radar systems have high performance demands on the signal processing chain. Examples include the advanced… 
2011
2011
The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example… 
2008
2008
Mobile processes, along with mobile channels, enable process networks to be dynamic: they may change their size (number of… 
2006
2006
This paper presents efficient mechanisms for the direct implementation of formal models of highly concurrent dynamic systems. The… 
Review
2006
Review
2006
Although concurrency is generally perceived to be a ‘hard’ s ubject, it can in fact be very simple — provided that the underlying… 
2006
2006
The Cell Broadband Engine is a hybrid processor which consists of a Pow- erPC core and eight vector co-processors on a single die… 
2005
2005
This paper introduces a safe language binding for CSP multiway events (barriers) that has been built into occampi (an extension… 
2005
2005
This paper describes an extension to the KRoC occam-π system that allows processes programmed in C to participate in occam… 
2005
2005
This paper describes our initial experiences of running simple blood-clot simulations on Grid infrastructure. The individual…