About Compositional Analysis of Pi-Calculus Processes
Authors:
Fabio Martinelli
Affiliations:
-
Venue:
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing