Ed Brinksma;Giuseppe Scollo;Chris A. Vissers
-;-;-
Embedding Chaos
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)