|
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 |
|||