Hans Huttel and Josva Kleist. Objects as mobile processes. Research Series RS-96-38, BRICS, 1996. Presented at MFPS '96. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Typing Non-uniform Concurrent Objects - Ravara (1999) (10 citations) (Correct)
....and objects in Blue [Dal99] A very successful model of objects is Abadi and Cardelli s calculus [AC96] actually a family of several typed calculi all based on a common untyped calculus. To import its various type systems into the calculus, H uttel, Kleist and Sangiorgi de ne encodings [HK96, Kle00, San98] DiBlasio and Fisher [DF96] and Gordon and Hankin [GH98] choose a di erent path, adding concurrent constructors to the calculus. Another setting where objects are studied as processes are Actors [HBS73, Agh86] Actors have unique identities and communicate by asynchronous ....
Hans Huttel and Josva Kleist. Objects as mobile processes. Research Series RS-96-38, BRICS, 1996. Presented at MFPS '96.
Responsive Bisimulation - Zhang, Potter (Correct)
....for studying compositional synchronisation in such models. 1. Introduction With the ability to directly model dynamic reference structures, process algebras such as the calculus ( Milner92, Milner99] and its variations have been used to model concurrent objects ( Walker95, Jones93, Sangi96, H uttel96, Zhang97] Some researchers ( Schne97, Zhang98a, Zhang98b] have also applied it to model compositional concurrent objects in the aspect oriented programming style ( Aksit92, Holmes97] attempting to avoid the inheritance anomaly [McHale94] One of the important issues with such models is to ....
....one of the weakest, is too strong for them, since JLK JNM are not weakly barbed bisimilar for some , such as acb Q dfe g h . The responsive bisimulation recovers this equivalence. 3. The polar calculus (iNj calculus) As in the asynchronous calculus ( Amadio96, H uttel96] output in the polar calculus (k l calculus) is non blocking, and is not used as a prefix or choice point. Similar to [Odersky95] each name , which can be considered as a reference to a communication channel, has an input polar and an output polar , which in turn can be considered as ....
Hans H uttel and Josva Kleist. (1996). "Objects as mobile processes", Aalborg University.
A Distributed Object Calculus - Jeffrey (2000) (3 citations) (Correct)
....Riely s [11, 12] Dp, Yoshida and Hennessy s [15] Dlp, Sewell s [13] distributed p, and Vitek and Castagna s [14] Seal calculus. None of these languages are directly object oriented, although there are strong parallels between them and OO languages, using codings of OO into the p calculus such as [2, 6, 8, 9, 10]. In this paper, these two strands of research are brought together, to provide a model for distributed object based languages. In doing so, two features of distributed programming become clear: the importance of separating serializable and non serializable data using types, and the use of ....
Hans Huttel and Josva Kleist. Objects as mobile processes. In Proc. Mathematical Foundations of Programming Semantics, 1996.
An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (4 citations) (Correct)
....in the calculus, we rst show a naive and (in our opinion) most natural encoding of the untyped OC into the polyadic calculus, and explain why the translation does not work at the level of types. A translation of the untyped OC similar to that in this section has been given by H#ttel and Kleist [HK96]. We brieAEy recall the operators of the polyadic calculus. We use P; Q to range over processes and p; q; r; x; y; z to range over names. With some abuse of notation we let symbols x; y; z. be both OC variables and calculus names, and be both a method name and a calculus name. By ....
H. H#ttel and J. Kleist. Objects as mobile processes. Unpublished notes, August 1996.
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Dal-Zilio (1999) (Correct)
....parallel object oriented languages and for proving the validity of certain program transformations. But the source 33 languages are untyped and rather simple. In [36] Sangiorgi gives the rst interpretation of Abadi Cardelli typed functional calculus with subtyping in (a related work is [27]) This interpretation is extended to the imperative case in [29] These interpretations, and the type system used, are very dioeerent from ours. For example, in the coding of method update, we do not use irelay constructsj. Intuitively, in our encoding, the number of reductions when invoking a ....
Hans H#ttel and Josva Kleist. Objects as mobile processes. Technical Report RS-96-38, BRICS, October 1996. Presented at MFPS '96.
Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) Self-citation (Kleist) (Correct)
....Objects, Migration 1. INTRODUCTION The work presented in this paper is in line with the research activity to use the # calculus as a tool box for reasoning about object based programming languages. Former works on the semantics of objects as processes showed the value of this approach: while [35, 12, 27, 15] focused on providing formal semantics to object oriented languages and language features, the work of others [24, 29] has been driven by a specific programming problem. Our work tackles a problem in Cardelli s lexically scoped distributed programming language Obliq [4] Cardelli proposed to ....
Hans Huttel and Josva Kleist. Objects as mobile processes. Research Series RS-96-38, BRICS, October 1996. Presented at MFPS '96.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC