Balancing expressiveness in formal approaches to concurrency /
Jones, C. B.(Cliff B.),1944-author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"September 2013".