Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electronic Notes in Theoretical Computer Science, 194(2):59-84, 2008. [doi]

Abstract

Abstract is missing.