1985
6 references published this year.
Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical Computer Science
On understanding types, data abstraction, and polymorphism
Luca Cardelli and others (1985) · ACM Computing Surveys · Association for Computing Machinery
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and others (1985) · ACM Transactions on Computer Systems · Association for Computing Machinery
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1985) · Journal of the ACM · Association for Computing Machinery
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 · Association for Computing Machinery