Search Sciweavers | Sciweavers

2272 search results - page 144 / 455

» A Calculus for

203

click to vote

ECOOP
1993
Springer

93views Programming Languages» more ECOOP 1993»

A Timed Calculus for Distributed Objects with Clocks

15 years 10 months ago

Download research.nii.ac.jp

This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...

Ichiro Satoh, Mario Tokoro

claim paper

Read More »

135

click to vote

ICALP
1993
Springer

86views Programming Languages» more ICALP 1993»

The Fork Calculus

15 years 10 months ago

Download www.cs.helsinki.fi

Klaus Havelund, Kim Guldstrand Larsen

claim paper

Read More »

154

click to vote

ECAI
1992
Springer

92views Artificial Intelligence» more ECAI 1992»

A Specialisation Calculus to Improve Expert Systems Communication

15 years 10 months ago

Download www.iiia.csic.es

Josep Puyol-Gruart, Lluis Godo, Carles Sierra

claim paper

Read More »

155

click to vote

OOIS
1994
Springer

184views Information Technology» more OOIS 1994»

OPUS: A Calculus for Modelling Object-Oriented Concepts

15 years 10 months ago

Download www.info.ucl.ac.be

Tom Mens, Kim Mens, Patrick Steyaert

claim paper

Read More »

128

click to vote

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers