Irek Ulidowski

• Reversible Computation
• CONCUR 2012- Concurrency Theory
• Reversible Computation : Extending Horizons of Computing