Regis-Darwin specified in the p-Calculus

17

IRUS Total
Downloads

Altmetric

File	Description	Size	Format

Regis-Darwin.PDF	Published version	101 kB	Adobe PDF	View/Open

Title:	Regis-Darwin specified in the p-Calculus
Authors:	Eisenbach, S Kramer, J Magee, JN
Item 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.
Issue Date:	1-Jan-1994
URI:	http://hdl.handle.net/10044/1/5891
Publisher Link:	http://dx.doi.org/10.1109/IWCDS.1994.289915
ISBN:	0-8186-5390-6
Publisher:	IEEE
Presented At:	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.
Conference Location:	Pittsburgh, USA
Appears in Collections:	Distributed Software Engineering