Paper: A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (at LICS 2000)
Authors: Alan Jeffrey Julian RathkeAbstract
No Abstract Available
BibTeX
@InProceedings{JeffreyRathke-ATheoryofBisimulati, author = {Alan Jeffrey and Julian Rathke}, title = {A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names}, booktitle = {Proceedings of the Fifteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2000}, year = 2000, editor = {Martin Abadi}, month = {June}, pages = {311--321}, location = {Santa Barbara, CA, USA}, publisher = {IEEE Computer Society Press} }