A program that includes expressionswritten in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression...http://www.google.com/patents/US20030212672?utm_source=gb-gplus-sharePatent US20030212672 - Structural equivalence of expressions containing processes and queries
