3 search results - page 1 / 1 » A Complete Symbolic Bisimulation for Full Applied Pi Calculu... |
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
FOSSACS
2005
Springer
15 years 3 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...