3 search results - page 1 / 1 » A Complete Symbolic Bisimulation for Full Applied Pi Calculu... |
SOFSEM
2010
Springer
14 years 2 months ago
2010
Springer
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...