Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Control flow analysis for the pi-calculus. In Proc. of CONCUR '98.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....inference with rather complex types abstracting from process behaviour. In the last few years there have been several papers presenting such type systems for the polyadic calculus and other process calculi, checking e.g. input outputbehaviour [15] absence of deadlocks [7] security properties [1, 4], allocation of permissions to names [16] and many others. Types are compositional and thus allow reuse of information obtained in the analysis of smaller subsystems. One drawback of the type systems mentioned above is the fact that they are specialised to check very specific properties. A much ....

....from non positive elements and residuation. Inspiration for this work came from papers deriving information on the behaviour of a process by inspecting its input output capabilities, such as [15, 14, 8] In order to conduct process analysis concerning more complex properties (as was done e.g. in [7, 4]) it is necessary to use type systems assigning behaviour information (i.e. monoid elements in our case) not only to single channels, but rather to tuples of channels or other more complex structures. This normally results in a semi additive type system, in the terminology of Honda [6] while our ....

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Control flow analysis for the pi-calculus. In Proc. of CONCUR '98.

....inference with rather complex types abstracting from process behaviour. In the last few years there have been several papers presenting such type systems for the polyadic calculus and other process calculi, checking e.g. input outputbehaviour [15] absence of deadlocks [7] security properties [1, 4], allocation of permissions to names [16] and many others. Types are compositional and thus allow reuse of information obtained in the analysis of smaller subsystems. One drawback of the type systems mentioned above is the fact that they are specialised to check very specific properties. A much ....

....from non positive elements and residuation. Inspiration for this work came from papers deriving information on the behaviour of a process by inspecting its input output capabilities, such as [15, 14, 8] In order to conduct process analysis concerning more complex properties (as was done e.g. in [7, 4]) it is necessary to use type systems assigning behaviour information (i.e. monoid elements in our case) not only to single channels, but rather to tuples of channels or other more complex structures. This normally results in a semi additive type system, in the terminology of Honda [6] while our ....

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Control flow analysis for the pi-calculus. In Proc. of CONCUR '98, pages 84--98. Springer-Verlag, 1998. LNCS 1466.

....inference with rather complex types abstracting from process behaviour. In the last few years there have been several papers presenting such type systems for the polyadic calculus and other process calculi, checking e.g. input output behaviour [13] absence of deadlocks [6] security properties [1, 4], allocation of permissions to names [14] and many others. Types are compositional and thus allow reuse of information obtained in the analysis of smaller subsystems. One drawback of the type systems mentioned above is the fact that they are specialized to check very specific properties. A much ....

....from non positive elements and residuation. Inspiration for this work came from papers deriving information on the behaviour of a process by inspecting its input output capabilities, such as [13, 12, 7] In order to conduct process analysis concerning more complex properties (as was done e.g. in [6, 1, 4]) it is necessary to use type systems assigning behaviour information (i.e. monoid elements in our case) not only to single channels, but rather to tuples of channels or other more complex structures. This normally results in a semi additive type system, in the terminology of Honda [5] while our ....

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Control flow analysis for the pi-calculus. In Davide Sangiorgi and Robert de Simone, editors, CONCUR '98, pages 84--98. Springer-Verlag, 1998. LNCS 1466.

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