메뉴 건너뛰기




Volumn 5710 LNCS, Issue , 2009, Pages 448-462

Howe's method for calculi with passivation

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; PATHOLOGY; SEMANTICS;

EID: 70349857967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04081-8_30     Document Type: Conference Paper
Times cited : (14)

References (26)
  • 4
    • 84947919695 scopus 로고    scopus 로고
    • Mobile ambients
    • Nivat M. (ed.) FOSSACS 1998. Springer, Heidelberg
    • Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.1378, pp. 140-155. Springer, Heidelberg (1998)
    • (1998) LNCS , vol.1378 , pp. 140-155
    • Cardelli, L.1    Gordon, A.D.2
  • 6
    • 33744909389 scopus 로고    scopus 로고
    • Extending howe's method to early bisimulations for typed mobile embedded resources with local names
    • Sarukkai, S., Sen, S. (eds.) Springer, Heidelberg
    • Godskesen, J.C., Hildebrandt, T.: Extending howe's method to early bisimulations for typed mobile embedded resources with local names. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005, vol.3821, pp. 140-151. Springer, Heidelberg (2005)
    • (2005) FSTTCS 2005 , vol.3821 , pp. 140-151
    • Godskesen, J.C.1    Hildebrandt, T.2
  • 8
    • 29044443804 scopus 로고    scopus 로고
    • Safedpi: A language for controlling mobile code
    • Hennessy, M., Rathke, J., Yoshida, N.: Safedpi: a language for controlling mobile code. Acta Inf. 42(4-5) (2005)
    • (2005) Acta Inf. , vol.42 , Issue.4-5
    • Hennessy, M.1    Rathke, J.2    Yoshida, N.3
  • 10
    • 0000627561 scopus 로고    scopus 로고
    • Proving congruence of bisimulation in functional programming languages
    • Howe, D.J.: 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
  • 11
    • 4243199081 scopus 로고    scopus 로고
    • A theory of bisimulation for a fragment of concurrent ML with local names
    • Jerey, A., Rathke, J.: A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science 323, 1-48 (2004)
    • (2004) Theoretical Computer Science , vol.323 , pp. 1-48
    • Jerey, A.1    Rathke, J.2
  • 12
    • 85018089946 scopus 로고    scopus 로고
    • Contextual equivalence for higher-order pi-calculus revisited
    • Jerey, A., Rathke, J.: Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science 1(1) (2005)
    • (2005) Logical Methods in Computer Science , vol.1 , Issue.1
    • Jerey, A.1    Rathke, J.2
  • 15
    • 70349858615 scopus 로고    scopus 로고
    • Normal bisimulations in process calculi with passivation
    • FoSSaCS 2009 Springer, Heidelberg
    • Lenglet, S., Schmitt, A., Stefani, J.-B.: Normal bisimulations in process calculi with passivation. In: FoSSaCS 2009. LNCS, vol.5504, pp. 257-271. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5504 , pp. 257-271
    • Lenglet, S.1    Schmitt, A.2    Stefani, J.-B.3
  • 16
    • 33646146147 scopus 로고    scopus 로고
    • Behavioral theory for mobile ambients
    • Merro, M., Zappa Nardelli, F.: Behavioral theory for mobile ambients. Journal of the ACM 52(6), 961-1023 (2005)
    • (2005) Journal of the ACM , vol.52 , Issue.6 , pp. 961-1023
    • Merro, M.1    Zappa Nardelli, F.2
  • 17
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • Kuich W. (ed.) ICALP 1992. Springer, Heidelberg
    • Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.623. Springer, Heidelberg (1992)
    • (1992) LNCS , vol.623
    • Milner, R.1    Sangiorgi, D.2
  • 18
    • 27244432607 scopus 로고    scopus 로고
    • Sos for higher order processes (Extended Abstract)
    • Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. Springer, Heidelberg
    • Mousavi, M., Gabbay,M.J., Reniers, M.A.: Sos for higher order processes (extended abstract). In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.3653, pp. 308-322. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3653 , pp. 308-322
    • Mousavi, M.1    Gabbay, M.J.2    Reniers, M.A.3
  • 19
    • 48249158292 scopus 로고    scopus 로고
    • Deconstructing behavioural theories of mobility
    • Springer, Heidelberg
    • Rathke, J., Sobocinski, P.: Deconstructing behavioural theories of mobility. In: IFIP TCS. IFIP, vol.273, pp. 507-520. Springer, Heidelberg (2008)
    • (2008) IFIP TCS. IFIP , vol.273 , pp. 507-520
    • Rathke, J.1    Sobocinski, P.2
  • 21
    • 0000770509 scopus 로고    scopus 로고
    • Bisimulation for higher-order process calculi
    • Sangiorgi, D.: Bisimulation for higher-order process calculi. Information and Computation 131(2), 141-178 (1996)
    • (1996) Information and Computation , vol.131 , Issue.2 , pp. 141-178
    • Sangiorgi, D.1
  • 22
    • 82755165784 scopus 로고    scopus 로고
    • Environmental bisimulations for higherorder languages
    • IEEE Computer Society, Los Alamitos
    • Sangiorgi, D., Kobayashi, N., Sumii, E.: Environmental bisimulations for higherorder languages. In: LICS 2007, pp. 293-302. IEEE Computer Society, Los Alamitos (2007)
    • (2007) LICS 2007 , pp. 293-302
    • Sangiorgi, D.1    Kobayashi, N.2    Sumii, E.3
  • 24
    • 23944449086 scopus 로고    scopus 로고
    • The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
    • Global Computing 2004 workshop
    • A. Schmitt and J.-B. Stefani. The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In Global Computing 2004 workshop, volume 3267 of LNCS, 2004.
    • (2004) LNCS , vol.3267
    • Schmitt, A.1    Stefani., J.-B.2
  • 26
    • 0013213308 scopus 로고
    • Plain chocs: A second generation calculus for higher order processes
    • Thomsen, B.: 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


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