A Generalization of Short-Cut Fusion and its Correctness Proof Patricia Johann OriginalPaper Pages: 273 - 300
Specification Diagrams for Actor Systems Scott F. SmithCarolyn L. Talcott OriginalPaper Pages: 301 - 348