Login / Signup

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

Masaki Murakami
Published in: CPA (2009)
Keyphrases
  • higher order
  • concurrent programs
  • concurrent processes
  • concurrent programming
  • communication systems
  • pairwise
  • communication networks
  • petri net
  • information systems
  • communication protocol
  • communication protocols