Tech Reports Home Contact
Technical Report Series
Actions
Submit Report
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0022


TitleInstant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
AuthorsHenning Makholm, J.B. Wells
Date2004-11-05
Abstract
GroupULTRA
Notes
Download

 

Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer