A synchronous pi-calculus

Roberto M. Amadio. A synchronous pi-calculus. Inf. Comput., 205(9):1470-1490, 2007. [doi]

Abstract

Abstract is missing.