A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
You are here
| Title | A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Tyrrell M, Morris J, Butterfield A, Hughes A |
| Conference Name | International Conference of Theoretical Aspects of Computing (ICTAC 2006)International Conference of Theoretical Aspects of Computing (ICTAC 2006) |
| Date Published | 2006 |
| Conference Location | Tunis, Tunisia |
| URL | https://sharepoint.lero.ie/Publications/2006/Conferences/2009%20-%20Tyrrell%20-%20A%20Lattice%20Theoretic%20Model%20for%20an%20Algebra%20of%20Comm%20Seq%20Proc.pdf |
