Sciweavers

Share
ECOOP
1993
Springer

A Timed Calculus for Distributed Objects with Clocks

10 years 5 months ago
A Timed Calculus for Distributed Objects with Clocks
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 allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions among them. We introduce timed bisimulations with respect to local time. These bisimulations equate distributed objects if and only if their behaviors are completely matched and their timings are within a given bound. The bisimulations provide a method to verify distributed objects with temporal uncertainties and real-time objects with non-strict time constraints.
Ichiro Satoh, Mario Tokoro
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where ECOOP
Authors Ichiro Satoh, Mario Tokoro
Comments (0)
books