S. J. Gay. Some type systems for the pi calculus. Technical report, Dept of Comp. Sci., Royal Holloway, University of London, 1999. 26  Home/Search   Document Details and Download   Summary   Related Articles   Check

....in relation to orderly communication in AC . Before we do this, we need to briefly recall the system of simple types for the # calculus; along the way we mention several extensions of simple types that have been proposed in the literature. Our presentation is a very brief adaptation of parts in [Gay99] and [GH99] 7.3.1 Simple Types and Extensions. The syntax of processes P in the # calculus can be given by the following grammar: P : 0 P Q x [y] P x [y] P (# x)P P where x and y range over names, and x and y range over lists of names. This is the syntax of ....

S. J. Gay. Some type systems for the pi calculus. Technical report, Dept of Comp. Sci., Royal Holloway, University of London, 1999.

....in relation to orderly communication in AC . Before we do this, we need to briefly recall the system of simple types for the calculus; along the way we mention several extensions of simple types that have been proposed in the literature. Our presentation is a very brief adaptation of parts in [Gay99] and [GH99] 7.3.1 Simple Types and Extensions The syntax of processes P in the calculus can be given by the following grammar: P : 0 j P j j Q j x [ y] P j x [ y] P j ( x)P j P where x and y range over names, and x and y range over lists of names. This is the syntax of the plain ....

S. J. Gay. Some type systems for the pi calculus. Technical report, Dept of Comp. Sci., Royal Holloway, University of London, 1999.

....in relation to orderly communication in AC . Before we do this, we need to briefly recall the system of simple types for the calculus; along the way we mention several extensions of simple types that have been proposed in the literature. Our presentation is a very brief adaptation of parts in [Gay99] and [GH99] 7.3.1 Simple Types and Extensions The syntax of processes P in the calculus can be given by the following grammar: P : 0 j P j jQ j x [ y] P j x [ y] P j ( x)P j P where x and y range over names, and x and y range over lists of names. This is the syntax of the plain ....

S. J. Gay. Some type systems for the pi calculus. Technical report, Dept of Comp. Sci., Royal Holloway, University of London, 1999.

No context found.

S. J. Gay. Some type systems for the pi calculus. Technical report, Dept of Comp. Sci., Royal Holloway, University of London, 1999. 26

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