CSP methods for identifying atomic actions in the design of fault tolerant concurrent systems

Tyrrell, A.M. orcid.org/0000-0002-8533-2404 and Carpenter, G.F. (1995) CSP methods for identifying atomic actions in the design of fault tolerant concurrent systems. IEEE Transactions on Software Engineering. pp. 629-639. ISSN 0098-5589

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: Copyright © 1995 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.
Keywords: ATOMIC ACTIONS,CONCURRENT SYSTEMS,CSP,FAULT TOLERANCE,DISTRIBUTED SYSTEMS,CONVERSATION SCHEME,SOFTWARE,ROBUST
Institution: The University of York
Academic Units: The University of York > Electronics (York)
Depositing User: Repository Officer
Date Deposited: 01 Feb 2006
Last Modified: 11 Apr 2016 02:46
Published Version: http://dx.doi.org/10.1109/32.392983
Status: Published
Refereed: Yes

Download

Filename: tyrrellam2.pdf

Description: tyrrellam2.pdf

Share / Export