Protocol analysis and synthesis by structured partitions
Computer Networks and ISDN Systems
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Deadlock detection for cyclic protocols using generalized fair reachability analysis
Deadlock detection for cyclic protocols using generalized fair reachability analysis
Generalized fair reachability analysis for cyclic protocols: part 1
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
On improving reduced reachability analysis
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Reachability Problems for Cyclic Protocols
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Livelock Detection in Networks of Communicating Finite State Machines
Livelock Detection in Networks of Communicating Finite State Machines
Theoretical Computer Science - Implementation and application of automata
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
An approach to cyclic protocol validation
Computer Communications
Hi-index | 0.00 |