Duplication, insertion and lossiness errors in unreliable communication channels
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadlock detection in communicating finite state machines by even reachability analysis
Mobile Networks and Applications - Special issue: protocols for mobile environments
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Channel Representations in Protocol Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Eliminating Queues from RT UML Model Representations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Well-abstracted transition systems: application to FIFO automata
Information and Computation
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
Decidability of the termination problem for completely specified protocols
Distributed Computing
| Hi-index | 0.00 |