Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Tier automation representation of communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
New communication protocols from old
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Towards dataflow analysis of communicating finite state machines
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indistinguishability of Finite-State Automata with Respect to Some Environments
Cybernetics and Systems Analysis
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
On Reachability Analysis of Communicating Finite State Machines
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Verification of programs with half-duplex communication
Information and Computation
Verification of programs with half-duplex communication
Information and Computation
From post systems to the reachability problems for matrix semigroups and multicounter automata
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
A modular methodology to verify communication protocols
Computer Communications
Reachability and reverse reachability analysis of CFSMs
Computer Communications
Multiparty session types meet communicating automata
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Reliable contracts for unreliable half-duplex communications
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
An interface theory for service-oriented design
Theoretical Computer Science
| Hi-index | 0.00 |