Robert Lynas

According to our database, Robert Lynas authored at least 3 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Expressive reversible language: aspects of semantics and implementation.

Robert Lynas

PhD thesis, 2011

2009

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages.

Bill Stoddart, Robert Lynas, Frank Zeyda

Proceedings of the Workshop on Reversible Computation, 2009

2006

A Design-Based Model of Reversible Computation.

Bill Stoddart, Frank Zeyda, Robert Lynas

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006