Process Algebra with Combinators

Abstract We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this frame-work the Simple Alternating Bit Protocol.

Authors

• Jan A. Bergstra
• Inge Bethke
• Alban Ponse

Keywords

No keywords are indexed for this paper.