Chiara Bodei, Pierpaolo Degano, Corrado Priami. Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. In Giorgio Levi, editor, Static Analysis, 5th International Symposium, SAS 98, Pisa, Italy, September 14-16, 1998, Proceedings. Volume 1503 of Lecture Notes in Computer Science, pages 168-183, Springer, 1998. [doi]
Abstract is missing.