Feeds

TCS News Feed

35 weeks 5 days ago Probabilistic systems coalgebraically: A survey Publication date: 2 September 2011 Source:Theoretical Computer Science, Volume 412, Issue 38 Author(s): Ana Sokolova We survey the work on both discrete and continuous-space probabilistic systems as coalgebras, starting with how probabilistic...
35 weeks 5 days ago Strong normalization from an unusual point of view Publication date: 29 April 2011 Source:Theoretical Computer Science, Volume 412, Issue 20 Author(s): Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca A new complete characterization of β -strong normalization is given, both in the...
35 weeks 5 days ago Synchronous consensus under hybrid process and link failures Publication date: 16 September 2011 Source:Theoretical Computer Science, Volume 412, Issue 40 Author(s): Martin Biely, Ulrich Schmid, Bettina Weiss We introduce a comprehensive hybrid failure model for synchronous distributed systems,...