Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Self-assessment procedure XVIII: fundamentals of data communications
Communications of the ACM
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
The transport layer: tutorial and survey
ACM Computing Surveys (CSUR)
Mechanisms that enforce bounds on packet lifetimes
ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Software Engineering
Formal verification of a real-time hardware design
DAC '83 Proceedings of the 20th Design Automation Conference
A data communications course for information systems majors
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
A distributed operating system for an educational microcomputer network
SIGSMALL '80 Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems
Communication In X-TREE, A Modular Multiprocessor System
ACM '78 Proceedings of the 1978 annual conference
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Hi-index | 0.02 |