On Bisimulations for the Spi Calculus (2002)

by Johannes Borgström , Uwe Nestmann
Venue:IN 9TH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
Citations:30 - 3 self