Search Sciweavers | Sciweavers

7961 search results - page 31 / 1593

» Input-Output Model Programs

146

Voted

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

120

click to vote

ASPLOS
1996
ACM

103views Programming Languages» more ASPLOS 1996»

An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors

15 years 8 months ago

Download www.hpl.hp.com

Vijay S. Pai, Parthasarathy Ranganathan, Sarita V....

claim paper

Read More »

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 8 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 8 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

115

Voted

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers