IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread."
== Status ==
The IPDL compiler is being implemented in stages.
# Basic code generation (no protocol management)
# Type checking and protocol management
# Protocol state machines
# ('''IN PROGRESS''') Full dynamic safety checking
# <font color="gray">Static analysis of code implementing IPDL interfaces</font>
# <font color="gray">Model checking of inter-protocol interactions</font>
== Reference ==
