|
Scala 2
|
||
object
pilib
extends
java.lang.Object with
ScalaObject
def 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 : scala.<repeated> )
: a&
Pi-calculus non-deterministic choice. |
|
| Constructor Detail |
def
this
| Def Detail |
def
choice
[ a& ]( s : scala.<repeated> ) : a&