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

13 years 4 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

13 years 4 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

13 years 4 months ago