Specifying the Concurrent Programming System\r\nRegis in the Pi-Calculus\r\n

File(s)

DarwinPiCalculus.pdf (66.27 KB)

Accepted version

Show more

Author(s)

Eisenbach, S

Kramer, J

Magee, J

Type

Conference Paper

Date Issued

1994

Citation

1994, pp.1-4

URI

http://hdl.handle.net/10044/1/5782

URL

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=944

Source Title

Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2)

Start Page

1

End Page

4

Copyright Statement

© 1994 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Source

Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2)

Source Place

Pittsburgh, USA

Start Date

1994-03-21

Finish Date

1994-03-23

Coverage Spatial

Pittsburgh, USA