Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
On the progress of communication between two finite state machines
Information and Control
Deadlock avoidance for systolic communication
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Derivatives of Regular Expressions
Journal of the ACM (JACM)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
On the analysis of cooperation and antagonism in networks of communicating processes
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Synthesis of resource invariants for concurrent programs
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow analysis and optimization of LISP-like structures
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tractable Dataflow Analysis for Distributed Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |