资 源 简 介
Welcome! session-scala is an extension of the Scala programming language, containing:
* A small library for parallel/distributed programming, with syntax similar to Scala Actors, currently supporting shared-memory and AMQP communication.
* A compiler plugin that checks processes against an associated multiparty session type, written using the Scribble specification language.
Multiparty session types are global descriptions of a communication protocol between several participants.
Here"s a simple session-scala example, with a two-participant session, a Buyer and a Seller:
```
import uk.ac.ic.doc.sessionscala.Address._
import actors.Actor._
object BuyerSellerExample {
def main(args: Array[String]) {
val buyer = newLocalAddress(
