Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.

Chiara Bodei, Pierpaolo Degano, Corrado Priami

Browse the full SAS paper archive.