@dblp

Distributed Control Flow with Classical Modal Logic.

, , and . CSL, volume 3634 of Lecture Notes in Computer Science, page 51-69. Springer, (2005)

Links and resources

Tags