Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An approach to describing a data link level protocol with a formal language
SIGCOMM '77 Proceedings of the fifth symposium on Data communications
Performance evaluation of communicating processes
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
On the modelling, analysis and design of protocols - a special class of software structures
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Rules for synthesizing correct communication protocols
ACM SIGCOMM Computer Communication Review
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
A graphical representation of tasks for multiprocessing
ACM '77 Proceedings of the 1977 annual conference
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
IEEE Transactions on Computers
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
FM '08 Proceedings of the 15th international symposium on Formal Methods
Hi-index | 0.00 |