Using the B method for the formalization of coordinated atomic actions /
Tartanoglu, Ferda.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
Title from cover.
Includes bibliographical references.