Stack Overflow
Stack Overflow

Questions tagged [occam-pi]

occam-pi is a concurrent programming language using the process-oriented programming model, which aims to make it straightforward to write correct, expressive concurrent programs. occam-pi is supported on a variety of platforms by a collection of open source tools, and is used and maintained by a community of developers around the world.

occam-π (or occam-pi) is the name of a variant of the occam programming language developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent. The name reflects the introduction of elements of the π-calculus into occam, particularly concepts involving mobile processes and data. The language contains a significant number of extensions to occam 2.1, including:

Nested protocols
Run-time process creation
Mobile channels, data, and processes
Recursion
Protocol inheritance
Array constructors
Extended rendezvous
11 questions
11
votes
2 answers

Why do CSP implementations only cover channels?

In the book about Communicating Sequential Processes a lot of time is spent defining events, which have no direction and can involve multiple independent processes. Only in chapter 4 are channels introduced, which are directed and involve 2…
Pepijn
  • 4,145
  • 5
  • 36
  • 64
4
votes
2 answers

Introduction to Occam 2

I'm looking for an online introduction to occam 2. Could some one help me?
Fortisimo
  • 1,012
  • 2
  • 11
  • 26
3
votes
1 answer

What is the simplest way of terminating (poisoning) a producer process in occam?

My occam-pi application has a long running producer process defined as follows: PROC producer (VAL INT start, step, CHAN OF INT c!) INT count: SEQ count := start WHILE TRUE SEQ c ! count count := count + step : It…
Sam Giles
  • 650
  • 6
  • 16
2
votes
2 answers

N-jobs on M-machines with Precedence Graph and different execution times

Let's assume I have n jobs and m machines. The jobs have precedence constraints (given in a directed, acyclic graph) and different execution times. The schedule must NOT be preemptive. What's the best algorithm to schedule them? Any suggestions? I…
Flontis
  • 307
  • 1
  • 4
  • 13
2
votes
1 answer

What are the common characteristics in occam and csp?

I saw a question while I was studying for OCCAM and CSP ( Communicating Sequential Processes ). I found some basic answers like; they both for parallel programming, they get input with question mark(?), send output with exclamation mark(!). But I…
aysebilgegunduz
  • 790
  • 12
  • 26
2
votes
1 answer

occam-pi: extended rendezvous

I'd appreciate it if someone could explain the concept of extended rendezvous to me. Thanks.
Fortisimo
  • 1,012
  • 2
  • 11
  • 26
2
votes
8 answers

Is Occam-pi a good language to learn to program LEGO MINDSTORMS & Surveyor Corporation SRV-1?

Is Occam-pi a good language to learn to program LEGO MINDSTORMS & Surveyor Corporation SRV-1 robots for an programming newbie. Are there any opensource projects making use of the same -- to read source code. url for occam-pi :-…
anonymous
1
vote
1 answer

Print the amount of characters that is given in the input

I have to write an Occam program which reads characters from the standard input, then prints out as many '#' characters as the value of the input character. The program must have 2 processes. The first process filters the input. It accepts numbers,…
Zoli
  • 23
  • 3
1
vote
1 answer

How to do a bubble sort in Occam

I am trying to program in occam, and I think that it is not so easy to understand because the documentation is not so good. Anyway, I hope someone to help me. I am trying just to learn how make a simple program. A bubble sort in occam. #INCLUDE…
Vinicius de Andrade
  • 27
  • 11
0
votes
1 answer

Really can't understand why my program isn't working

I've really spent a lot of time working at this problem and googling around to find a solution, but I can't seem to find what's wrong. I've learning how to code occam and have the following program: PROC light (CHAN OF BYTE screen, CHAN OF INT…
Joe
  • 4,852
  • 10
  • 63
  • 82
0
votes
1 answer

Occam text animation

I'd appreciate it if someone would explain to me the principles of text animation in occam-pi. Thanks.
Fortisimo
  • 1,012
  • 2
  • 11
  • 26