메뉴 건너뛰기




Volumn 194, Issue 2, 2008, Pages 85-99

Matching Systems for Concurrent Calculi

Author keywords

CCS; Matching systems; Mobile Ambients; pi calculus

Indexed keywords

COMPUTER CONTROL SYSTEMS; CONCURRENCY CONTROL; SOFTWARE AGENTS;

EID: 38149040068     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.11.004     Document Type: Article
Times cited : (10)

References (14)
  • 1
    • 38149115941 scopus 로고    scopus 로고
    • Banach, R. and F. van Breugel, Mobility and modularity: expressing pi-calculus in CCS (extended abstract) (1998), draft
  • 2
    • 0000203887 scopus 로고    scopus 로고
    • On the expressiveness of internal mobility in name-passing calculi
    • Boreale M. On the expressiveness of internal mobility in name-passing calculi. Theoretical Computer Science 195 (1998) 205-226
    • (1998) Theoretical Computer Science , vol.195 , pp. 205-226
    • Boreale, M.1
  • 4
    • 4544292270 scopus 로고    scopus 로고
    • On the expressive power of polyadic synchronisation in π-calculus
    • Carbone M., and Maffeis S. On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing 10 (2003) 70-98
    • (2003) Nordic Journal of Computing , vol.10 , pp. 70-98
    • Carbone, M.1    Maffeis, S.2
  • 7
    • 38149020376 scopus 로고    scopus 로고
    • Gorla, D., Comparing calculi for mobility via their relative expressive power, Technical Report 05/2006, Dip. di Informatica, Univ. di Roma "La Sapienza", Italy (2006)
  • 10
    • 15844425952 scopus 로고    scopus 로고
    • Comparing the expressive power of the synchronous and the asynchronous π-calculi
    • Palamidessi C. Comparing the expressive power of the synchronous and the asynchronous π-calculi. Mathematical Structures in Computer Science 13 (2003) 685-719
    • (2003) Mathematical Structures in Computer Science , vol.13 , pp. 685-719
    • Palamidessi, C.1
  • 11
    • 21144443616 scopus 로고    scopus 로고
    • Electoral systems in ambient calculi
    • Proceedings of 7th International Conference on Foundations of Software Science and Computation Structures. FoSSaCS 2004
    • Phillips I.C.C., and Vigliotti M. Electoral systems in ambient calculi. Proceedings of 7th International Conference on Foundations of Software Science and Computation Structures. FoSSaCS 2004. Lecture Notes in Computer Science 2987 (2004) 408-422
    • (2004) Lecture Notes in Computer Science , vol.2987 , pp. 408-422
    • Phillips, I.C.C.1    Vigliotti, M.2
  • 13
    • 0030260547 scopus 로고    scopus 로고
    • π-calculus, internal mobility and agent-passing calculi
    • Sangiorgi D. π-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science 167 (1996) 235-274
    • (1996) Theoretical Computer Science , vol.167 , pp. 235-274
    • Sangiorgi, D.1
  • 14
    • 38149012732 scopus 로고    scopus 로고
    • Turner, D.N., "The Polymorphic Pi-calculus: Theory and Implementation," Ph.D. thesis, University of Edinburgh (1995)


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