-
concurrency theory,process calculi,reversibility,reversible computing,express...
Reversible computing has a long history. Nowadays, reversible computing is attracting increasing interest because of its potential applications in diverse fields,... -
Concurrent Programming as Proof Net Construction
Article dans revue scientifique avec comité de lecture.
