Advertisement

Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch

  • C. A. R. Hoare
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • C. A. R. Hoare

There are no affiliations available

Personalised recommendations