|
Scala 2
|
object
pilib
extends
java.lang.Object with
scala.ScalaObjectdef Buffer[a](put: Chan[a], get: Chan[a]): unit = { def B0: unit = choice ( put { x => B1(x) } ); def B1(x: a): unit = choice ( get(x) B0, put { y => B2(x, y) } ); def B2(x: a, y: a): unit = choice ( get(x) B1(y) ); B0 }
Constructor Summary | |
def
this
|
Class Summary | |
class
Chan
[ a ]
Name on which one can emit, receive or that can be emitted or received during a communication. |
|
class
GP
[ a ]
Typed guarded process. |
|
class
Product
[ a ]
|
|
abstract
|
class
Spawn
Run several processes in parallel using the following syntax: spawn < p_1 | ... | p_n > |
case
|
class
Sum
|
class
UChan
Untyped channel. |
|
case
|
class
UGP
An untyped guarded process. |
Def Summary | |
def
choice
[ a ]
( s : pilib.this.GP[a]* )
: a
Pi-calculus non-deterministic choice. |
Constructor Detail |
def
this
Def Detail |
def
choice
[ a ]( s : pilib.this.GP[a]* ) : a