TitleA Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
Publication TypeConference Paper
Year of Publication2006
AuthorsTyrrell M, Morris J, Butterfield A, Hughes A
Conference NameInternational Conference of Theoretical Aspects of Computing (ICTAC 2006)International Conference of Theoretical Aspects of Computing (ICTAC 2006)
Date Published2006
Conference LocationTunis, Tunisia
URLhttps://sharepoint.lero.ie/Publications/2006/Conferences/2009%20-%20Tyrrell%20-%20A%20Lattice%20Theoretic%20Model%20for%20an%20Algebra%20of%20Comm%20Seq%20Proc.pdf