메뉴 건너뛰기




Volumn 63, Issue 1, 2005, Pages 35-58

Analysing input/output-capabilities of mobile processes with a generic type system

Author keywords

calculus; Lattice ordered monoids; Type systems

Indexed keywords

ABSTRACTING; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL COMPLEXITY; COSTS; INFORMATION USE; LINEAR ALGEBRA;

EID: 14644439913     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2004.01.004     Document Type: Article
Times cited : (5)

References (24)
  • 5
    • 0037107029 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 9
    • 84974577536 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • Lattice Theory
    • American Mathematical Society
    • Birkhoff G. Lattice Theory. third ed.:1967;American Mathematical Society
    • (1967) Third Ed.
    • Birkhoff, G.1
  • 21
    • 0034714632 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.