An axiomatic approach to the specification of distributed computer architectures Chapter uri icon

publication date

  • January 1, 1987

start page

  • 103

end page

  • 120