Geof F. Carpenter

List of publications from the DBLP Bibliography Server - FAQ

1995

1 EE Andrew M. Tyrrell, Geof F. Carpenter: CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. IEEE Trans. Software Eng. 21(7): 629-639 (1995)

1995
1	EE	Andrew M. Tyrrell, Geof F. Carpenter: CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. IEEE Trans. Software Eng. 21(7): 629-639 (1995)

Coauthor Index

1 Andrew M. Tyrrell (Andy M. Tyrrell) [1]