Matching Systems for Concurrent Calculi

Bjørn Haagensen, Sergio Maffeis, Iain Phillips. Matching Systems for Concurrent Calculi. Electronic Notes in Theoretical Computer Science, 194(2):85-99, 2008. [doi]

Abstract

Abstract is missing.