DUALITY: A simple formalism for the analysis of UNITY Rutger M. Dijkstra OriginalPaper Pages: 353 - 388
Compositional failure-based semantic models for Basic LOTOS Antti ValmariMartti Tienari OriginalPaper Pages: 440 - 468