# Malcolm Tyrrell

According to our database

Collaborative distances:

^{1}, Malcolm Tyrrell authored at least 7 papers between 2000 and 2009.Collaborative distances:

## 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