On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.

Masaki Murakami On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. 49-66 2009 CPA http://dx.doi.org/10.3233/978-1-60750-065-0-49 conf/wotug/2009 db/conf/wotug/cpa2009.html#Murakami09