Invited Talk: Calculi for Interactions (at LICS 1996)
Authors: R. MilnerAbstract
No Abstract Available
BibTeX
@InProceedings{Milner-CalculiforInteracti, author = {R. Milner}, title = {Calculi for Interactions}, booktitle = {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996}, year = 1996, editor = {Edmund M. Clarke}, month = {July}, location = {New Brunswick, NJ, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }