Sciweavers

89
Voted
ENTCS
2007
111views more  ENTCS 2007»
15 years 11 days ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski