|
Scala
1.2.0.1 |
|||
| Field Summary | |
final
|
val spawn: Spawn
|
| Method Summary | |
final
|
def choice[a](s: GP[a]*): a
Pi-calculus non-deterministic choice. |
| Trait Summary | |
trait Spawn()
Run several processes in parallel using the following syntax: spawn < p_1 | ... |
|
| 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](n: UChan, polarity: Boolean, v: Any, c: (Any) => a)
Typed guarded process. |
|
class Product[a](c: Chan[a], v: a)
|
|
case
|
class Sum(gs: List[UGP])
|
class UChan()
Untyped channel. |
|
case
|
class UGP(n: UChan, polarity: Boolean, v: Any, c: (Any) => Any)
An untyped guarded process. |
| Field Detail |
final val spawn: Spawn
| Method Detail |
final def choice[a](s: GP[a]*): a
|
Scala
1.2.0.1 |
|||