Task Response Time for Real-Time Distributed Systems with Resource Contentions
IEEE Transactions on Software Engineering
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 |