K. Sere. Procedures and atomicity refinement. Information Processing Letters, 60(2):67--74, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....whereas we have established our results for branching time, as embodied in coupled similarity. Last but not least, the issue of atomicity refinement has been addressed in the field of assertional reasoning; e.g. by Lamport [42, 43] Gribomont [33] and Katz [38] as well as for action systems [5, 57]. Compared to our work, these approaches share most of the di#erences listed above for [45] except that [33, 38] actually do provide an atomic level model. ....
K. Sere. Procedures and atomicity refinement. Information Processing Letters, 60(2):67--74, 1996.
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....whereas we have established our results for branching time, as embodied in coupled similarity. Last but not least, the issue of atomicity refinement has been addressed in the field of assertional reasoning; e.g. by Lamport [42, 43] Gribomont [33] and Katz [38] as well as for action systems [5, 57]. Compared to our work, these approaches share most of the di#erences listed above for [45] except that [33, 38] actually do provide an atomic level model. ....
K. Sere. Procedures and atomicity refinement. Information Processing Letters, 60(2):67--74, 1996.
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