Proving total correctness of concurrent programs without using auxiliary variables

Ediciones (1)

• Proving total correctness of concurrent programs without using auxiliary variables. (1989)

  University of Edinburgh, Laboratory for Foundations of Computer Science · inglés