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
Dates:
  • Published: July 1995
Institution: The University of York
Academic Units: The University of York > Electronic Engineering (York)
The University of York > Faculty of Sciences (York) > Electronic Engineering (York)
Depositing User: Repository Officer
Date Deposited: 01 Feb 2006
Last Modified: 17 May 2017 23:19
Published Version: http://dx.doi.org/10.1109/32.392983
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1109/32.392983

Download

Filename: tyrrellam2.pdf

Description: tyrrellam2.pdf

Share / Export

Statistics