Found 8 results
Filters: Author is Morris, Joseph [Clear All Filters]
Term transformers: A new approach to state. ACM Transactions on Programming Languages and Systems. 31
.
2009. Dually nondeterministic functions. ACM Transactions on Programming Languages and Systems. 30
.
2008. Modelling higher-order dual non determinacy. Acta Informatica. 45
.
2008. Dual unbounded nonteterminacy recursion and fixpoints. Acta Informatica. 44
.
2007. Terms with unbounded demonic and angelic nondeterminacy. Science of Computer Programming. 65
.
2007. A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. International Conference of Theoretical Aspects of Computing (ICTAC 2006)International Conference of Theoretical Aspects of Computing (ICTAC 2006).
.
2006. Augmenting types with unbounded demonic and angelic nondeterminacy. Proc. Mathematics of Program Construction, Lecture Notes in Computer Science. 3125
.
2005. Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. Mathematics of Program Construction ConferenceMathematics of Program Construction Conference.
.
2004.