A Simplification of a Conversation Design Scheme Using Petri Nets
IEEE Transactions on Software Engineering
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software Engineering
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems
IEEE Transactions on Parallel and Distributed Systems
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |