Search Sciweavers | Sciweavers

2272 search results - page 135 / 455

» A Calculus for

132

Voted

ICALP
2005
Springer

121views Programming Languages» more ICALP 2005»

Basic Observables for a Calculus for Global Computing

15 years 9 months ago

Download basics.sjtu.edu.cn

We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

claim paper

Read More »

116

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

124

click to vote

SOCO
2005
Springer

94views Software Engineering» more SOCO 2005»

A Lambda Calculus with Forms

15 years 9 months ago

Download www.cs.iastate.edu

Abstract. The need to use position-dependent parameters often hamdeﬁnition of ﬂexible, extensible, and reusable abstractions for software composition. This observation has led ...

Markus Lumpe

claim paper

Read More »

click to vote

AMAI
2004
Springer

94views Artificial Intelligence» more AMAI 2004»

Modeling and Reasoning with Star Calculus

15 years 9 months ago

Download rutcor.rutgers.edu

Debasis Mitra

claim paper

Read More »