Chiara Bodei, Corrado Priami
True Concurrency via Abstract Interpretation
SAS, 1997.
@inproceedings{SAS-1997-BodeiP, author = "Chiara Bodei and Corrado Priami", booktitle = "{Proceedings of the Fourth International Static Analysis Symposium}", doi = "10.1007/BFb0032743", isbn = "3-540-63468-1", pages = "202--216", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{True Concurrency via Abstract Interpretation}", volume = 1302, year = 1997, }