Toward formal development of programs from algebraic specifications: Implementations revisited Donald SannellaAndrzej Tarlecki OriginalPaper Pages: 233 - 281
A proof system for distributed processes A. E. K. SobelN. Soundararajan OriginalPaper Pages: 305 - 332
The complexity of reachability in distributed communicating processes John H. ReifScott A. Smolka OriginalPaper Pages: 333 - 354