A symmetric modal lambda calculus for distributed computing release_viye6kymrne6zc5wzqexqgwx5e

by T. Murphy, K. Crary, R. Harper, F. Pfenning

Published in Logic in Computer Science by IEEE.

2004   p286-295

Archived Files and Locations

application/pdf  125.6 kB
file_422yvea255enlodqarutlbuj7a
web.archive.org (webarchive)
www.cs.cmu.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 14 more URLs
application/pdf  274.9 kB
file_ywvx5it7rzhodjvoxkgt6rf2wm
www.cs.cmu.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  297.9 kB
file_twachat5fbfatltydlo5w6ipom
www.cs.cmu.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.cmu.edu (web)
web.archive.org (webarchive)
+ 2 more URLs
application/pdf  3.3 MB
file_3urdddm3qvghjj54wlpubfk73y
repository.cmu.edu (web)
web.archive.org (webarchive)
application/pdf  243.3 kB
file_fi2jq6nfujdsjotuqajinxat6y
web.archive.org (webarchive)
www.cs.cmu.edu (web)
reports-archive.adm.cs.cmu.edu (web)
reports-archive.adm.cs.cmu.edu (web)
web.archive.org (webarchive)
+ 46 more URLs
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2004
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dd13346e-6968-4d28-b102-407db3964dd7
API URL: JSON