Malcolm Tyrrell

According to our database1, Malcolm Tyrrell
  • authored at least 7 papers between 2000 and 2009.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Term transformers: A new approach to state.
ACM Trans. Program. Lang. Syst., 2009

2008
Dually nondeterministic functions.
ACM Trans. Program. Lang. Syst., 2008

Modelling higher-order dual nondeterminacy.
Acta Inf., 2008

2007
Terms with unbounded demonic and angelic nondeterminacy.
Sci. Comput. Program., 2007

Dual unbounded nondeterminacy, recursion, and fixpoints.
Acta Inf., 2007

2006
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.
Proceedings of the Theoretical Aspects of Computing, 2006

2000
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.
Proceedings of the Rigorous Object-Oriented Methods, 2000


  Loading...