sle2011/tool4

SLE 2011 tool/demo paper:
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages

Paweł T. Wojciechowski

• DOI: 10.1007/978-3-642-28830-2_22
• T1B: Static Semantics
  • The main novelty is a typing discipline for first-class communication channels in a concurrent language.
• T1C: Behavioural Semantics
  • Concurrency, communication, and mobility define the executable semantics the type system constrains.
• T1A: Design
  • Introducing typed channels/mobility requires language design decisions for the scripting language.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.