Regis-Darwin specified in the p-Calculus
File(s)Regis-Darwin.PDF (101 KB)
Published version
Author(s)
Eisenbach, S
Kramer, J
Magee, JN
Type
Conference Paper
Abstract
There now is a translator for DARWIN programs that automatically generates their π-calculus equivalents. A variety of errors in DARWIN programs can be detected at the π-calculus level. These include detection of recursive structures, unbound ports and ports that are bound in the wrong direction. It can also be used to confirm whether two REGIS-DARWIN programs are equivalent.
Date Issued
1994
Citation
1994, pp.213-
ISBN
0-8186-5390-6
Publisher
IEEE
Source Title
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2)
Start Page
213
Copyright Statement
© 1994 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
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