Paper: Weak Equivalences in Psi-Calculi (at LICS 2010)
Authors: Magnus Johansson Jesper Bengtson Joachim Parrow Björn Victor
Abstract
No Abstract Available
BibTeX
@InProceedings{JohanssonBengtsonPa-WeakEquivalencesinP, author = {Magnus Johansson and Jesper Bengtson and Joachim Parrow and Björn Victor}, title = {Weak Equivalences in Psi-Calculi}, booktitle = {Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)}, year = {2010}, month = {July}, pages = {322-331}, location = {Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society Press} }