1985
3 references published this year.
Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical computer science
On relative completeness of Hoare logics
Michal Grabowski (1985) · Information and control
An algorithm for distributed computation of a spanning tree in an extended LAN
Radia Perlman (1985) · ACM SIGCOMM Computer Communication Review