Joseph M. Morris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2006
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICTAC | A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
| 2005 | SEFM | Software Refinement with Perfect Developer. | Gareth Carter, Rosemary Monahan, Joseph M. Morris |
| 2004 | MPC | Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. | Joseph M. Morris |