A decision procedure for proving observational equivalence
Vincent Cheval‚ Hubert Comon−Lundh and Stéphanie Delaune
Address
Bologna‚ Italy
Book Title
Preliminary Proceedings of the 7th International Workshop on Security Issues in Coordination Models‚ Languages and Systems (SecCo'09)
Editor
Boreale‚ Michele and Kremer‚ Steve
Month
oct
Year
2009