Search Sciweavers | Sciweavers

2227 search results - page 1 / 446

» Reversibility and Models for Concurrency

click to vote

ENTCS
2007

111views more ENTCS 2007»

Reversibility and Models for Concurrency

14 years 10 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

click to vote

ENTCS
2007

104views more ENTCS 2007»

General Reversibility

14 years 10 months ago

Download www.pps.jussieu.fr

The ﬁrst and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...

Vincent Danos, Jean Krivine, Pawel Sobocinski

claim paper

Read More »

click to vote

CONCURRENCY
2006

99views more CONCURRENCY 2006»

Trust-based probabilistic search with the view model of peer-to-peer networks

14 years 10 months ago