메뉴 건너뛰기




Volumn 1119, Issue , 1996, Pages 18-33

Process calculus based upon evaluation to committed form

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; SEMANTICS;

EID: 21444439189     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_45     Document Type: Conference Paper
Times cited : (3)

References (25)
  • 4
    • 0029703268 scopus 로고    scopus 로고
    • The reflexive CHAM and the join-calculus
    • ACM Press
    • C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proc. 23rdPOPL, 372-385. ACM Press, 1996.
    • (1996) Proc. 23Rdpopl , pp. 372-385
    • Fournet, C.1    Gonthier, G.2
  • 5
    • 0000429455 scopus 로고
    • Facile: A Symmetric Integration of Concurrent and Functional Programming
    • A. Giacalone, P. Mishra, and S. Prasad. Facile: A Symmetric Integration of Concurrent and Functional Programming. Int. J. Parallel Programming, 18(2):121-160, 1989.
    • (1989) Int. J. Parallel Programming , vol.18 , Issue.2 , pp. 121-160
    • Giacalone, A.1    Mishra, P.2    Prasad, S.3
  • 7
    • 85022894365 scopus 로고
    • On asynchronous communication semantics
    • M. Tokoro and O. Nierstrasz, editors, Springer-Verlag
    • K. Honda and M. Tokoro. On asynchronous communication semantics. In M. Tokoro and O. Nierstrasz, editors, Proc. ECOOP'91, Lecture Notes in Computer Science, 612:21-51. Springer-Verlag, 1991.
    • (1991) Proc. ECOOP'91, Lecture Notes in Computer Science , vol.612 , pp. 21-51
    • Honda, K.1    Tokoro, M.2
  • 9
    • 0024897313 scopus 로고
    • Equality in lazy computation systems
    • IEEE Computer Society Press
    • D. J. Howe. Equality in lazy computation systems. In Proc. 4th LICS, 198-203. IEEE Computer Society Press, 1989.
    • (1989) Proc. 4Th LICS , pp. 198-203
    • Howe, D.J.1
  • 10
    • 0000627561 scopus 로고    scopus 로고
    • Proving congruence of bisimulation in functional programming languages
    • D. J. Howe. Proving congruence of bisimulation in functional programming languages. Information and Computation, 124(2): 103-112, 1996.
    • (1996) Information and Computation , vol.124 , Issue.2 , pp. 103-112
    • Howe, D.J.1
  • 12
    • 84990660292 scopus 로고
    • A modal characterisation of observable machine-behaviour
    • Springer-Verlag
    • R. Milner. A modal characterisation of observable machine-behaviour. In Proc. CAAP'81, Lecture Notes in Computer Science, Vol. 112. Springer-Verlag, 1981.
    • (1981) Proc. CAAP'81, Lecture Notes in Computer Science , vol.112
    • Milner, R.1
  • 13
    • 18944381228 scopus 로고
    • Communication and Concurrency
    • R. Milner. Communication and Concurrency. Prentice Hall, 1989.
    • (1989) Prentice Hall
    • Milner, R.1
  • 15
    • 0000511698 scopus 로고
    • The polyadic 7r-calculus: A tutorial
    • E L. Bauer et al, ed, Springer-Verlag
    • R. Milner. The polyadic 7r-calculus: A tutorial. In E L. Bauer et al, ed., Logic andAlgebra of Specification. Springer-Verlag, 1993.
    • (1993) Logic Andalgebra of Specification
    • Milner, R.1
  • 19
    • 0003976893 scopus 로고    scopus 로고
    • Pict: A programming language based on the pi-calculus
    • B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. To appear.
    • To Appear
    • Pierce, B.C.1    Turner, D.N.2
  • 21
    • 85036583908 scopus 로고
    • CML: A higher-order concurrent language
    • ACM Press
    • J. Reppy. CML: A higher-order concurrent language. In Proc. PLDI, 293-259. ACM Press, 1991.
    • (1991) Proc. PLDI , pp. 259-293
    • Reppy, J.1
  • 24
    • 0013213308 scopus 로고
    • A second generation calculus for higher order processes
    • B. Thomsen. Plain CHOCS. A second generation calculus for higher order processes. Acta Informatica, 30(1): 1-59, 1993.
    • (1993) Acta Informatica , vol.30 , Issue.1 , pp. 1-59
    • Thomsen, B.1    Plain, C.2


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