Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract).

Gul Agha

Browse the full SEFM paper archive.