Paper: Bisimulation in Name-Passing Calculi without Matching (at LICS 1998)
Authors: Michele Boreale Davide SangiorgiAbstract
No Abstract Available
BibTeX
@InProceedings{BorealeSangiorgi-BisimulationinNameP, author = {Michele Boreale and Davide Sangiorgi}, title = {Bisimulation in Name-Passing Calculi without Matching}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {165-175}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }