Robin Milner
George Milne and Robin Milner.
Concurrent processes and their syntax.
Journal of the ACM
, 26(2):302-321, April 1979.
Citations.
Robin Milner.
Flowgraphs and flow algebras.
Journal of the ACM
, 26(4):794-818, October 1979.
Citations.
Matthew Hennessy and Robin Milner.
Algebraic laws for nondeterminism and concurrency.
Journal of the ACM
, 32(1):137-161, January 1985.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database