Search Sciweavers | Sciweavers

17298 search results - page 105 / 3460

» Abstract computing machines

137

Voted

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 9 months ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

133

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 9 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

142

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 9 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

136

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 9 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

108

click to vote

ICNP
1995
IEEE

71views Computer Networks» more ICNP 1995»

Networking abstractions and protocols under variable length messages

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers