Fairness
Temporal logic of programs
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
IEEE Transactions on Computers
Parallel program design: a foundation
Parallel program design: a foundation
An exercise in the formal derivation of parallel programs: maximum flows in graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Deflection networks: architectures for metropolitan and wide area networks
Computer Networks and ISDN Systems - Special issue on high-speed local and metropolitan area networks
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Theoretical Computer Science - Special issue on algebraic methodology and software technology
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
Research Directions in High-Level Parallel Programming Languages
An Industrial Experience in the Use of UNITY
Research Directions in High-Level Parallel Programming Languages
Specification and refinement of a message router
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Routing in multihop packet switching networks: Gb/s challenge
IEEE Network: The Magazine of Global Internetworking
| Hi-index | 0.00 |