-
5
-
-
0037107029
-
A type system for lock-free processes
-
Kobayashi N. A type system for lock-free processes. Information and Computation. 177:2002;122-159
-
(2002)
Information and Computation
, vol.177
, pp. 122-159
-
-
Kobayashi, N.1
-
6
-
-
0001772130
-
Secrecy by typing in security protocols
-
Abadi M. Secrecy by typing in security protocols. Journal of the ACM. 46(5):1999;749-786
-
(1999)
Journal of the ACM
, vol.46
, Issue.5
, pp. 749-786
-
-
Abadi, M.1
-
7
-
-
84945976575
-
Control flow analysis for the pi-calculus
-
D. Sangiorgi, de Simone R. Springer-Verlag
-
Bodei C., Degano P., Nielson F., Nielson H.R. Control flow analysis for the pi-calculus. Sangiorgi D., de Simone R. Proceedings of CONCUR'98, LNCS 1466. 1998;84-98 Springer-Verlag
-
(1998)
Proceedings of CONCUR'98, LNCS 1466
, pp. 84-98
-
-
Bodei, C.1
Degano, P.2
Nielson, F.3
Nielson, H.R.4
-
9
-
-
84974577536
-
Information flow vs. resource access in the asynchronous pi-calculus
-
Springer-Verlag
-
Hennessy M., Riely J. Information flow vs. resource access in the asynchronous pi-calculus. in: Proceedings of ICALP'00. LNCS 1853. 2000;415-427 Springer-Verlag
-
(2000)
In: Proceedings of ICALP'00 LNCS 1853
, pp. 415-427
-
-
Hennessy, M.1
Riely, J.2
-
15
-
-
84955570942
-
Static analysis of communication for asynchronous concurrent programming languages
-
Springer-Verlag
-
Kobayashi N., Nakade M., Yonezawa A. Static analysis of communication for asynchronous concurrent programming languages. in: Proceedings of SAS'95. LNCS 983. 1995;225-242 Springer-Verlag
-
(1995)
In: Proceedings of SAS'95 LNCS 983
, pp. 225-242
-
-
Kobayashi, N.1
Nakade, M.2
Yonezawa, A.3
-
17
-
-
0000511698
-
The polyadic π-calculus: A tutorial
-
F.L. Hamer, W. Brauer, & H. Schwichtenberg. Heidelberg: Springer-Verlag
-
Milner R. The polyadic. π -calculus: a tutorial Hamer F.L., Brauer W., Schwichtenberg H. Logic and Algebra of Specification. 1993;Springer-Verlag, Heidelberg
-
(1993)
Logic and Algebra of Specification
-
-
Milner, R.1
-
19
-
-
14644411357
-
Lattice Theory
-
American Mathematical Society
-
Birkhoff G. Lattice Theory. third ed.:1967;American Mathematical Society
-
(1967)
Third Ed.
-
-
Birkhoff, G.1
-
20
-
-
14644440166
-
Typing confluence
-
Cesena, Italy, 4-5 July 1997
-
U. Nestmann, M. Steffen, Typing confluence, in: Second International ERCIM Workshop on Formal Methods in Industrial Critical Systems, Cesena, Italy, 4-5 July 1997, 1997, pp. 77-101
-
(1997)
Second International ERCIM Workshop on Formal Methods in Industrial Critical Systems
, pp. 77-101
-
-
Nestmann, U.1
Steffen, M.2
-
21
-
-
0034714632
-
Type reconstruction for linear π-calculus with I/O subtyping
-
Igarashi A., Kobayashi N. Type reconstruction for linear. π -calculus with I/O subtyping Information and Computation. 161:2000;1-44
-
(2000)
Information and Computation
, vol.161
, pp. 1-44
-
-
Igarashi, A.1
Kobayashi, N.2
-
23
-
-
84888258946
-
Generating type systems for process graphs
-
Springer-Verlag
-
König B. Generating type systems for process graphs. in: Proceedings of CONCUR'99. LNCS 1664. 1999;352-367 Springer-Verlag
-
(1999)
In: Proceedings of CONCUR'99 LNCS 1664
, pp. 352-367
-
-
König, B.1
-
24
-
-
84947779795
-
A general framework for types in graph rewriting
-
Springer-Verlag
-
König B. A general framework for types in graph rewriting. in: Proceedings of FST TCS'00. LNCS 1974. 2000;373-384 Springer-Verlag
-
(2000)
In: Proceedings of FST TCS'00 LNCS 1974
, pp. 373-384
-
-
König, B.1
|