Distributed and Parallel Computing

28

click to vote

CONCUR
2008
Springer

85views Distributed And Parallel Com...» more CONCUR 2008»

A Rule Format for Associativity

14 years 1 months ago

Download www.win.tue.nl

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Re...

claim paper

Read More »

39

click to vote

CONCUR
2008
Springer

80views Distributed And Parallel Com...» more CONCUR 2008»

R-Automata

14 years 1 months ago

Download user.it.uu.se

R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...

Parosh Aziz Abdulla, Pavel Krcál, Wang Yi

claim paper

Read More »

35

click to vote

CONCUR
2008
Springer

157views Distributed And Parallel Com...» more CONCUR 2008»

Contract-Directed Synthesis of Simple Orchestrators

14 years 1 months ago

Download www.di.unito.it

The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified beh...

Luca Padovani

claim paper

Read More »

41

click to vote

CONCUR
2008
Springer

99views Distributed And Parallel Com...» more CONCUR 2008»

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

14 years 1 months ago

Download www.cse.msu.edu

We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...

Borzoo Bonakdarpour, Sandeep S. Kulkarni

claim paper

Read More »

33

click to vote

CONCUR
2008
Springer

132views Distributed And Parallel Com...» more CONCUR 2008»

Mixing Lossy and Perfect Fifo Channels

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...

Pierre Chambart, Ph. Schnoebelen

claim paper

Read More »

22

click to vote

CONCUR
2008
Springer

98views Distributed And Parallel Com...» more CONCUR 2008»

Knowledge and Information in Probabilistic Systems

14 years 1 months ago

Download www.cs.mcgill.ca

Prakash Panangaden

claim paper

Read More »

30

click to vote

CONCUR
2008
Springer

101views Distributed And Parallel Com...» more CONCUR 2008»

Normed BPA vs. Normed BPP Revisited

14 years 1 months ago

Download www.memics.cz

Petr Jancar, Martin Kot, Zdenek Sawa

claim paper

Read More »

39

click to vote

CONCUR
2008
Springer

106views Distributed And Parallel Com...» more CONCUR 2008»

Spatial and Behavioral Types in the Pi-Calculus

14 years 1 months ago

Download rap.dsi.unifi.it

We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...

Lucia Acciai, Michele Boreale

claim paper

Read More »

36

click to vote

CONCUR
2008
Springer

101views Distributed And Parallel Com...» more CONCUR 2008»

A Notion of Glue Expressiveness for Component-Based Systems

14 years 1 months ago

Download www-verimag.imag.fr

Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...

Simon Bliudze, Joseph Sifakis

claim paper

Read More »

30

click to vote

CONCUR
2008
Springer

105views Distributed And Parallel Com...» more CONCUR 2008»

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning

14 years 1 months ago