CIE
2006
Springer
14 years 3 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
FMCO
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...