Search Sciweavers | Sciweavers

20175 search results - page 82 / 4035

» Is abstraction the key to computing

Voted

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 4 months ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 4 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

102

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 4 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

Voted

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 4 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

Voted

ICNP
1995
IEEE

71views Computer Networks» more ICNP 1995»

Networking abstractions and protocols under variable length messages

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers