A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.

Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes

Browse the full ICTAC paper archive.