M. Koutny and G. Pappalardo. A model of behaviour abstraction for communicating processes. In C. Meinel and S. Tison, eds., STACS '99, vol. 1563 of Lecture Notes in Computer Science, pp. 313--322. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....establishes a direct relation between atomic virtual machines on di#erent levels of abstraction, without constructing the (intermediate) non atomic virtual machine that is central to this paper. The ideas behind this approach were first proposed in [53] a comparable setup is studied in [40]. Another closely related line of research (unfortunately not followed up in recent years) is that of interface refinement as advocated in [20] and especially [13] Boudol and Castellani in [10] as well as Gorrieri in [28] and (with others) in [30] present a framework in which atomicity is ....
M. Koutny and G. Pappalardo. A model of behaviour abstraction for communicating processes. In C. Meinel and S. Tison, eds., STACS '99, vol. 1563 of Lecture Notes in Computer Science, pp. 313--322. Springer-Verlag, 1999.
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....establishes a direct relation between atomic virtual machines on di#erent levels of abstraction, without constructing the (intermediate) non atomic virtual machine that is central to this paper. The ideas behind this approach were first proposed in [53] a comparable setup is studied in [40]. Another closely related line of research (unfortunately not followed up in recent years) is that of interface refinement as advocated in [20] and especially [13] Boudol and Castellani in [10] as well as Gorrieri in [28] and (with others) in [30] present a framework in which atomicity is ....
M. Koutny and G. Pappalardo. A model of behaviour abstraction for communicating processes. In C. Meinel and S. Tison, eds., STACS '99, vol. 1563 of Lecture Notes in Computer Science, pp. 313--322. Springer-Verlag, 1999.
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