Found 3 results
Filters: Author is Tyrrell, Malcolm [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. 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.