Publications

Compile-time analysis of communicating processes

• • Peter Ladkin
  • Barbara Simons
• 1992
• ICS 1992