Observable behavior of distributed systems: Component reasoning for concurrent objects (0)

by C C Din, J Dovland, E B Johnsen, O Owe
Venue:Journal of Logic and Algebraic Programming, in press, 2012. issn = "1567-8326", doi = "10.1016/j.jlap.2012.01.003