State Visibility and Communication in Unifying Theories of Programming.

Andrew Butterfield, Pawel Gancarski, Jim Woodcock

Browse the full TASE paper archive.