Search Sciweavers | Sciweavers

2272 search results - page 144 / 455

» A Calculus for

163

click to vote

ECOOP
1993
Springer

93views Programming Languages» more ECOOP 1993»

A Timed Calculus for Distributed Objects with Clocks

15 years 8 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 »

click to vote

ICALP
1993
Springer

86views Programming Languages» more ICALP 1993»

The Fork Calculus

15 years 8 months ago

Download www.cs.helsinki.fi

Klaus Havelund, Kim Guldstrand Larsen

claim paper

Read More »

127

click to vote

ECAI
1992
Springer

92views Artificial Intelligence» more ECAI 1992»

A Specialisation Calculus to Improve Expert Systems Communication

15 years 8 months ago

Download www.iiia.csic.es

Josep Puyol-Gruart, Lluis Godo, Carles Sierra

claim paper

Read More »

125

click to vote

OOIS
1994
Springer

184views Information Technology» more OOIS 1994»

OPUS: A Calculus for Modelling Object-Oriented Concepts

15 years 8 months ago

Download www.info.ucl.ac.be

Tom Mens, Kim Mens, Patrick Steyaert

claim paper

Read More »

109

click to vote

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers