Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility

Ivan Lanese, Ugo Montanari. Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electronic Notes in Theoretical Computer Science, 154(2):55-72, 2006. [doi]

Abstract

Abstract is missing.