Bisimulations in the join-calculus (1998)

by Michele Boreale, C'edric Fournet, Cosimo Laneve
Venue:In IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98