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

15 years 3 months 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

15 years 3 months 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

15 years 3 months 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

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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers