gore96

Andrew D. Gordon, Gareth D. Rees. Bisimilarity for a First-Order Calculus of Objects with Subtyping. In Proc.\ 23d Annual ACM Symposium on Principles of Programming Languages (POPL), St.\ Petersburg, Florida, Pages 386-395, January 1996.

Keyword

[ Coinduction ]

Contact

Andrew D. Gordon
Gareth D. Rees

BibTex Reference

@InProceedings{gore96,
   Author = {Gordon, Andrew D. and Rees, Gareth D.},
   Title = {Bisimilarity for a First-Order Calculus of Objects with Subtyping},
   BookTitle = {Proc.\ 23d Annual ACM Symposium on Principles of Programming Languages (POPL), St.\ Petersburg, Florida},
   Pages = {386--395},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)