L. J. Jagadeesan and R. Jagadeesan. Causality and true concurrency: A data-flow analysis of the pi-calculus. Lecture Notes in Computer Science, 936:277--??, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Compositional Specification of Mobile Systems - Grosu, Stølen (1997) (Correct)
....Mes91, MPW92a, MPW92b] A denotational understanding of mobility is, however, an essential prerequisite for the compositional development of mobile, and consequently object oriented reactive systems. Recently several researchers have studied mobility in a denotational setting; see for example [JJ95, FMS96, Sta96] These denotational approaches are all directed towards the calculus. In this paper we look at mobility from a different angle; our objective is to build a specification formalism for mobile systems based on streams. As usual in the case of natural language concepts, there is some ....
L. J. Jagadeesan and R. Jagadeesan. Causality and true concurrency: A data-flow analysis of the pi-calculus. Lecture Notes in Computer Science, 936:277--??, 1995.
Formal Development of Open Distributed Systems: towards an .. - Traoré, Aredo, Střlen (Correct)
....be represented faithfully and fully abstracted. This has, for example, lead to the development of the Pi calculus [Milner et al. 1992] and to new refinements of the Actor model [Agha et al. 1997] Most of the early proposals have a strong operational flavour. More recent denotational approaches [Jagadeesan,1995], Stark,1996] are rather technical, and in most cases directed towards the Pi calculus. The above mentioned research attempts to find mathematical models suitable to describe the semantics of systems. The emphasis in our work is not on the semantics of systems, but on formal system development. ....
L.J. Jagadeesan, R. Jagadeesan, Causality and True Concurrency: a data-flow analysis of the pi-calculus, Proc. AMAST'95, LNCS 936, P. 277-291, 1995.
Stream Based Specification of Mobile Systems - Grosu, Stølen (1999) (2 citations) (Correct)
....Mes91, MPW92a, MPW92b] A denotational understanding of mobility is, however, an essential prerequisite for the compositional development of mobile, and consequently object oriented reactive systems. Recently several researchers have studied mobility in a denotational setting; see for example [JJ95, FMS96, Sta96] These denotational approaches are all directed towards the calculus and use a quite involved type theory. In this paper we look at mobility from a different angle; our objective is to build a specification formalism for mobile systems based on streams. As usual in the case of ....
L. J. Jagadeesan and R. Jagadeesan. Causality and true concurrency: A data-flow analysis of the pi-calculus. In Proc. AMAST'95, LNCS 936, pages 277--291, 1995.
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