Sciweavers

Share
CONCUR
2008
Springer
8 years 5 months ago
A Rule Format for Associativity
Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Re...
CONCUR
2008
Springer
8 years 5 months ago
R-Automata
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
CONCUR
2008
Springer
8 years 5 months ago
Contract-Directed Synthesis of Simple Orchestrators
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
CONCUR
2008
Springer
8 years 5 months ago
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
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
CONCUR
2008
Springer
8 years 5 months ago
Mixing Lossy and Perfect Fifo Channels
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
CONCUR
2008
Springer
8 years 5 months ago
Normed BPA vs. Normed BPP Revisited
Petr Jancar, Martin Kot, Zdenek Sawa
CONCUR
2008
Springer
8 years 5 months ago
Spatial and Behavioral Types in the Pi-Calculus
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
CONCUR
2008
Springer
8 years 5 months ago
A Notion of Glue Expressiveness for Component-Based Systems
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
CONCUR
2008
Springer
8 years 5 months ago
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
books