메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 229, Issue 3, 2009, Pages 131-144
Making the Unobservable, Unobservable
Author keywords

bisimulation; observability; process algebra; simulation; structural operational semantics
Indexed keywords

BISIMULATION; COMMUNICATING PROCESS; DISTRIBUTED SYSTEMS; INTERACTION POTENTIALS; LABELLED TRANSITION SYSTEMS; PROCESS ALGEBRA; SIMULATION; STRUCTURAL OPERATIONAL SEMANTICS; SYNCHRONISATION; UNOBSERVABILITY; UNOBSERVABLE;
EID: 67649983971     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.043     Document Type: Article
Times cited : (5)
References (16)
  • 1
    • 0001254695 scopus 로고    scopus 로고
    • On bisimulations for the asynchronous pi-calculus
    • Amadio R., Castellani I., and Sangiorgi D. On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci. 195 2 (1998) 291-324
    • (1998) Theor. Comput. Sci. , vol.195 , Issue.2 , pp. 291-324
    • Amadio, R.1    Castellani, I.2    Sangiorgi, D.3
  • 2
    • 0027113388 scopus 로고
    • The chemical abstract machine
    • Berry G., and Boudol G. The chemical abstract machine. Theor. Comput. Sci. 96 (1992) 217-248
    • (1992) Theor. Comput. Sci. , vol.96 , pp. 217-248
    • Berry, G.1    Boudol, G.2
  • 4
    • 34547362238 scopus 로고    scopus 로고
    • Saturated semantics for reactive systems
    • IEEE Press
    • Bonchi F., König B., and Montanari U. Saturated semantics for reactive systems. LiCS'06 (2006), IEEE Press 69-80
    • (2006) LiCS'06 , pp. 69-80
    • Bonchi, F.1    König, B.2    Montanari, U.3
  • 5
    • 84983016110 scopus 로고
    • An object calculus for asynchronous communication
    • Proc. ECOOP, Springer
    • Honda K., and Tokoro M. An object calculus for asynchronous communication. Proc. ECOOP. LNCS volume 512 (1991), Springer 133-147
    • (1991) LNCS , vol.512 , pp. 133-147
    • Honda, K.1    Tokoro, M.2
  • 6
    • 0029404929 scopus 로고
    • On reduction-based process semantics
    • Honda K., and Yoshida N. On reduction-based process semantics. Theoretical Computer Science 151 2 (1995) 437-486
    • (1995) Theoretical Computer Science , vol.151 , Issue.2 , pp. 437-486
    • Honda, K.1    Yoshida, N.2
  • 7
    • 84885204671 scopus 로고    scopus 로고
    • Deriving bisimulation congruences for reactive systems
    • Proc. Concur, Springer
    • Leifer J., and Milner R. Deriving bisimulation congruences for reactive systems. Proc. Concur. LNCS volume 1877 (2000), Springer 243-258
    • (2000) LNCS , vol.1877 , pp. 243-258
    • Leifer, J.1    Milner, R.2
  • 8
    • 0003276135 scopus 로고
    • A Calculus of Communicating Systems
    • Springer
    • Milner R. A Calculus of Communicating Systems. LNCS volume 92 (1980), Springer
    • (1980) LNCS , vol.92
    • Milner, R.1
  • 9
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • ICALP'92, Springer
    • Milner R., and Sangiorgi D. Barbed bisimulation. ICALP'92. LNCS volume 623 (1992), Springer 685-695
    • (1992) LNCS , vol.623 , pp. 685-695
    • Milner, R.1    Sangiorgi, D.2
  • 10
    • 0001025476 scopus 로고
    • Dynamic congruence vs. progressing bisimulation for CCS
    • Montanari U., and Sassone V. Dynamic congruence vs. progressing bisimulation for CCS. Fundamenta Informaticae XVI (1992) 171-199
    • (1992) Fundamenta Informaticae , vol.XVI , pp. 171-199
    • Montanari, U.1    Sassone, V.2
  • 11
    • 0003931061 scopus 로고
    • A structural approach to operational semantics
    • Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University
    • G. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University, 1981
    • (1981)
    • Plotkin, G.1
  • 12
    • 84869357270 scopus 로고    scopus 로고
    • J. Rathke and P. Sobociński. Deconstructing behavioural theories of mobility. In TCS'08. Springer Science and Business Media, 2008. To appear
    • J. Rathke and P. Sobociński. Deconstructing behavioural theories of mobility. In TCS'08. Springer Science and Business Media, 2008. To appear
  • 13
    • 54249132100 scopus 로고    scopus 로고
    • J. Rathke and P. Sobociński. Deriving structural labelled transitions for mobile ambients. In Concur'08, LNCS. Springer, 2008. To appear
    • J. Rathke and P. Sobociński. Deriving structural labelled transitions for mobile ambients. In Concur'08, LNCS. Springer, 2008. To appear
  • 14
    • 13644257866 scopus 로고    scopus 로고
    • Deriving bisimulation congruences using 2-categories
    • Sassone V., and Sobociński P. Deriving bisimulation congruences using 2-categories. Nordic Journal of Computing 10 2 (2003) 163-183
    • (2003) Nordic Journal of Computing , vol.10 , Issue.2 , pp. 163-183
    • Sassone, V.1    Sobociński, P.2
  • 16
    • 0037028904 scopus 로고    scopus 로고
    • From rewrite rules to bisimulation congruences
    • Extended version of Concur'98 conference paper
    • Sewell P. From rewrite rules to bisimulation congruences. Theor. Comput. Sci. 274 1-2 (2002) 183-230 Extended version of Concur'98 conference paper
    • (2002) Theor. Comput. Sci. , vol.274 , Issue.1-2 , pp. 183-230
    • Sewell, P.1

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