On the origins of bisimulation and coinduction release_m5uvypq4xnbqxclecr3eadpwsu

by Davide Sangiorgi

Published in ACM Transactions on Programming Languages and Systems by Association for Computing Machinery (ACM).

2009   Volume 31, p1-41

Archived Files and Locations

application/pdf  631.5 kB
file_noc2myoxabenxhstni7zlut5h4
web.archive.org (webarchive)
www.cs.unibo.it (web)
application/pdf  397.1 kB
file_vdqojkimwrgavpbn46hzp6vwzy
web.archive.org (webarchive)
core.ac.uk (web)
application/pdf  423.2 kB
file_yw3mfdcrknhrli5bjkfxvzul2u
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.unibo.it (web)
application/pdf  1.3 MB
file_eibhh55qmjddfp3edi7saz3jfm
web.archive.org (webarchive)
www.stoqatpul.org (web)
application/pdf  367.0 kB
file_hlnejphgzjbphlnwbpgla66mey
www.cs.unibo.it (web)
web.archive.org (webarchive)
www.cs.unibo.it:80 (web)
web.archive.org (webarchive)
application/pdf  387.1 kB
file_5ggqplov3zcp3awoicqiizdamq
web.cse.ohio-state.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2009-05-01
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0164-0925
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4b0c9a5d-da3b-4de0-876b-8e3e5c73af89
API URL: JSON