Search Sciweavers | Sciweavers

17082 search results - page 106 / 3417

» Abstractions for Mobile Computation

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

14 years 18 days ago

Download spinroot.com

Wayne Liu

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 18 days ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

14 years 18 days 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

14 years 18 days 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)

14 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers