The Effect of Concurrent Programming Idioms on Verification - A Position Paper.

David Harel, Guy Katz, Assaf Marron, Gera Weiss

Browse the full MODELSWARD paper archive.