Search Sciweavers | Sciweavers

4356 search results - page 20 / 872

» Communicating Transactions - (Extended Abstract)

click to vote

AMAST
2006
Springer

124views Software Engineering» more AMAST 2006»

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

14 years 8 days ago

Download pop-art.inrialpes.fr

Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J

Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...

claim paper

Read More »

click to vote

ENC
2004
IEEE

137views Theoretical Computer Science» more ENC 2004»

Abstract Channels as Connectors for Software Components in Group Communication Services

14 years 7 days ago

Download ccc.inaoep.mx

Jean Fanchon, Khalil Drira, Saul Pomares Hernandez

claim paper

Read More »

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

14 years 2 days ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

click to vote

SOSP
2007
ACM

101views Operating System» more SOSP 2007»

Protection and communication abstractions for web browsers in MashupOS

13 years 10 months ago

Download research.microsoft.com

Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Ja...

claim paper

Read More »

click to vote

DAGSTUHL
2006

116views Software Engineering» more DAGSTUHL 2006»

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers