Nielsen, M., and Winskel, G., Models for concurrency, to appear in Volume IV of the Handbook of Logic and the Foundations of Computer Science, ed. D.Gabbay, Oxford University Press, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Action Structures - Milner (1992) (2 citations) (Correct)
....of the systems themselves. Direct comparison is therefore difficult; nonetheless it would be of interest to explore a combination of action structures with Meseguer s logical approach. 39 Recently Nielsen and Winskel have proposed asynchronous transition systems as a general model of concurrency [18]. These are essentially transition systems with additional structure recording the independence among events. This is one difference from action structures, whose definition makes no mention of independence among reactions, though independence can be examined in particular action structures ....
Nielsen, M., and Winskel, G., Models for concurrency, to appear in Volume IV of the Handbook of Logic and the Foundations of Computer Science, ed. D.Gabbay, Oxford University Press, 1993.
Action Structures - Milner (1992) (2 citations) (Correct)
....of the systems themselves. Direct comparison is therefore difficult; nonetheless it would be of interest to explore a combination of action structures with Meseguer s logical approach. 39 Recently Nielsen and Winskel have proposed asynchronous transition systems as a general model of concurrency [18]. These are essentially transition systems with additional structure recording the independence among events. This is one difference from action structures, whose definition makes no mention of independence among reactions, though independence can be examined in particular action structures ....
Nielsen, M., and Winskel, G., Models for concurrency, to appear in Volume IV of the Handbook of Logic and the Foundations of Computer Science, ed. D.Gabbay, Oxford University Press, 1993.
Action Structures and the Pi Calculus - Milner (Correct)
....of the systems themselves. Direct comparison is therefore difficult; nonetheless it would be of interest to explore a combination of action structures with Meseguer s logical approach. Recently Nielsen and Winskel have proposed asynchronous transition systems as a general model of concurrency [26]. These are essentially transition systems with additional structure recording the independence among events. This is one difference from action structures, whose definition makes no mention of independence among reactions, though independence can be examined in particular action structures ....
Nielsen, M., and Winskel, G., Models for concurrency, to appear in Volume IV of the Handbook of Logic and the Foundations of Computer Science, ed. D.Gabbay, Oxford University Press, 1993.
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