Occam-π

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

Topic mentions per year

Topic mentions per year

2004-2011
024620042011

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Future systems will be too complex to design and implement explicitly. Instead, we will have to learn to engineer complex… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
The Flying Gator is an unmanned aerial vehicle developed to support investigations regarding concurrent and parallel control for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
In the occam-π programming language, the client-server communication pattern is generally implemented using a pair of… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
2006
Review
2006
Although concurrency is generally perceived to be a ‘hard’ subject, it can in fact be very simple — provided that the underlying… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We describe an experiment in the application of CSP and occam-π to the specification and implementation of a significant… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
This paper introduces a safe language binding for CSP multiway events (barriers — both static and mobile) that has been built… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2005
2005
This paper introduces a safe language binding for CSP multiway events (barriers) that has been built into occam-π (an extension… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
This paper describes an extension to the KRoC occam-π system that allows processes programmed in C to participate in occam… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Review
2005
Review
2005
This paper introduces occam-π, an efficient and safe binding of key elements from Hoare’s CSP and Milner’s π-calculus into a… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?