Search Sciweavers | Sciweavers

15792 search results - page 82 / 3159

» Computational Abstraction Steps

119

Voted

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 7 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

104

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 7 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

click to vote

ICNP
1995
IEEE

71views Computer Networks» more ICNP 1995»

Networking abstractions and protocols under variable length messages

15 years 7 months ago

Download www.ieee-icnp.org

Stephen Milliner, Alex Delis

claim paper

Read More »

click to vote

SPAA
1991
ACM

93views Distributed And Parallel Com...» more SPAA 1991»

Impossibility Results for Asynchronous PRAM (Extended Abstract)

15 years 7 months ago

Download www.cs.brown.edu

Maurice Herlihy

claim paper

Read More »

Voted

CONEXT
2008
ACM

97views Computer Networks» more CONEXT 2008»

Implementation of end-to-end abstractions in a network service architecture

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers