An Algebra of Synchronous Atomic Steps.

Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis

Browse the full FM paper archive.