Bisimulations in the Join-Calculus

Programming Concepts and Methods PROCOMET ’98 ◽

10.1007/978-0-387-35358-6_9 ◽

1998 ◽

pp. 68-86 ◽

Author(s):

M. Boreale ◽

C. Fournet ◽

C. Laneve

Download Full-text