Stack Overflow
Stack Overflow

Questions tagged [pi-calculus]

In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). Namely it aims at describing complex concurrent computations, with multi-agent-computation-units being mobile systems. Robert Milner has extended Pi-Calculus into the broader theory of "Bigraphs".

5 questions
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
0 answers

Are there any model checkers or proof systems for the Pi Calculus

I have become mildly obsessed with Milner's Pi Calculus, and while I can have lots of fun drawing out little diagrams on my whiteboard, I was curious if there are any good (or bad even) modeling systems for it to do checking against your logic, in a…
Tombert
  • 530
  • 5
  • 13
1
vote
0 answers

Implementing pi calculus using STM in JAVA

I want to implement `pi-calculus in JAVA. For concurrency I am using the Deuce STM library. Changing the JAVA syntax would be difficult so I am planning to use annotated variables and generic functions/classes. for eg. class Channel{ …
tranquil
  • 499
  • 7
  • 13
1
vote
1 answer

In Milner's Pi Calculus, what are the evaluation semantics when multiple processes read from the same channel?

In Milner's Pi Calculus, what are the evaluation semantics when multiple processes read from the same channel? The rules say that !x(a). P | ?x(b) Q ~> P | Q[a/b] but what about situations like !x(a). P | ?x(b) Q | ?x(c) R ?
Tac-Tics
  • 1,895
  • 13
  • 19
0
votes
0 answers

Is deuce STM type safe?

I have written a JAVA library for pi calculus which utilizes Deuce STM for managing concurrent processes. I further wish to prove the type safety of my library. Is Deuce STM library type safe? If yes, some links for the same would be appreciated.
tranquil
  • 499
  • 7
  • 13