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

15 years 6 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 »

102

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

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

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

14 years 11 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers