Search Sciweavers | Sciweavers

317 search results - page 6 / 64

» Snap-Stabilization in Message-Passing Systems

click to vote

FSTTCS
2007
Springer

128views Software Engineering» more FSTTCS 2007»

Propositional Dynamic Logic for Message-Passing Systems

14 years 4 months ago

Download www.lsv.ens-cachan.fr

We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...

Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke

claim paper

Read More »

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

14 years 2 months ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

click to vote

HPDC
1996
IEEE

129views Distributed And Parallel Com...» more HPDC 1996»

NYNET Communication System (NCS): A Multithreaded Message Passing Tool over ATM Network

14 years 2 months ago

Download reference.kfupm.edu.sa

Sung-Yong Park, Salim Hariri, Yoonhee Kim, J. Stua...

claim paper

Read More »

click to vote

IPL
2008

41views more IPL 2008»

On the interconnection of message passing systems

13 years 9 months ago

Download www3.uji.es

Angel Alvarez, Sergio Arévalo, Vicent Cholv...

claim paper

Read More »

click to vote

HICSS
2010
IEEE

145views Biometrics» more HICSS 2010»

Message Passing for Integrating and Assessing Renewable Generation in a Redundant Power Grid

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers