Computing Publications

Publications Home » Specifying the Concurrent Program...

Specifying the Concurrent Programming System Regis in the Pi-Calculus

Susan Eisenbach, Jeff Kramer, Jeff Magee

Conference or Workshop Paper
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
1994
Keywords
Distributed Software Engineering
SLURP
PDF of full publication (66 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.