Search Sciweavers | Sciweavers

17082 search results - page 106 / 3417

» Abstractions for Mobile Computation

106

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 7 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

120

click to vote

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 »

109

Voted

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers