in scala/concurrent
object pilib

object pilib
extends Object
with ScalaObject

Library for using Pi-calculus concurrent primitives in Scala.

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

spawn

  final val spawn: Spawn
Method Detail

choice

  final def choice[a](s: GP[a]*): a
Pi-calculus non-deterministic choice.