메뉴 건너뛰기




Volumn 3921 LNCS, Issue , 2006, Pages 47-62

On the relative expressive power of asynchronous communication primitives

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS COMMUNICATION; COMMUNICATION MEDIUM;

EID: 33745789584     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_4     Document Type: Conference Paper
Times cited : (16)

References (28)
  • 1
    • 26444598542 scopus 로고    scopus 로고
    • XPi: A typed process calculus for XML messaging
    • Proc. of FMOODS'05, Springer
    • L. Acciai and M. Boreale. XPi: a typed process calculus for XML messaging. In Proc. of FMOODS'05, volume 3535 of LNCS, pages 47-66. Springer, 2005.
    • (2005) LNCS , vol.3535 , pp. 47-66
    • Acciai, L.1    Boreale, M.2
  • 4
    • 0008539659 scopus 로고
    • Asynchrony and the π-calculus (note)
    • INRIA Sophia-Antipolis, May
    • G. Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, May 1992.
    • (1992) Rapport de Recherche , vol.1702
    • Boudol, G.1
  • 5
    • 33646124701 scopus 로고    scopus 로고
    • πduce: A process calculus with native XML datatypes
    • Proc. of Services and Formal Methods. Springer
    • A. Brown, C. Laneve and G. Meredith, πduce: a process calculus with native XML datatypes. In Proc. of Services and Formal Methods, volume 3670 of LNCS. Springer, 2005.
    • (2005) LNCS , vol.3670
    • Brown, A.1    Laneve, C.2    Meredith, G.3
  • 6
    • 0001810827 scopus 로고    scopus 로고
    • A process algebraic view of LINDA coordination primitives
    • N. Busi, R. Gorrieri and G. Zavattaro. A process algebraic view of LINDA coordination primitives. Theoretical Computer Science, 192(2): 167-199, 1998.
    • (1998) Theoretical Computer Science , vol.192 , Issue.2 , pp. 167-199
    • Busi, N.1    Gorrieri, R.2    Zavattaro, G.3
  • 7
    • 4544292270 scopus 로고    scopus 로고
    • On the expressive power of polyadic synchronisation in π-calculus
    • M. Carbone and S. Maffeis. On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing, 10(2):70-98, 2003.
    • (2003) Nordic Journal of Computing , vol.10 , Issue.2 , pp. 70-98
    • Carbone, M.1    Maffeis, S.2
  • 9
    • 26844473471 scopus 로고    scopus 로고
    • Semantic subtyping for the π-calculus
    • IEEE Computer Society
    • G. Castagna, R. De Nicola and D. Varacca. Semantic subtyping for the π-calculus. In Proc. of LICS'05, pages 92-101. IEEE Computer Society, 2005.
    • (2005) Proc. of LICS'05 , pp. 92-101
    • Castagna, G.1    De Nicola, R.2    Varacca, D.3
  • 10
    • 0001709818 scopus 로고
    • Embedding as a tool for language comparison
    • F. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Information and Computation, 108(1):128-157, 1994.
    • (1994) Information and Computation , vol.108 , Issue.1 , pp. 128-157
    • De Boer, F.1    Palamidessi, C.2
  • 11
    • 26444537441 scopus 로고    scopus 로고
    • On the expressive power of KLAIM-based calculi
    • Tech. Rep. 09/2004, Dip. Informatica, Univ. Roma "La Sapienza". To appear
    • R. De Nicola, D. Gorla and R. Pugliese. On the expressive power of KLAIM-based calculi. Tech. Rep. 09/2004, Dip. Informatica, Univ. Roma "La Sapienza". To appear in TCS.
    • TCS
    • De Nicola, R.1    Gorla, D.2    Pugliese, R.3
  • 12
    • 26444478637 scopus 로고    scopus 로고
    • Pattern matching over a dynamic network of tuple spaces
    • Proc. of FMOODS'05. Springer
    • R. De Nicola, D. Gorla and R. Pugliese. Pattern Matching over a Dynamic Network of Tuple Spaces. In Proc. of FMOODS'05, volume 3535 of LNCS, pages 1-14. Springer, 2005.
    • (2005) LNCS , vol.3535 , pp. 1-14
    • De Nicola, R.1    Gorla, D.2    Pugliese, R.3
  • 13
    • 0013231225 scopus 로고    scopus 로고
    • Expressiveness of point-to-point versus broadcast communications
    • Proc. of FCT'99. Springer
    • C. Ene and T. Muntean. Expressiveness of point-to-point versus broadcast communications. In Proc. of FCT'99, volume 1684 of LNCS, pages 258-268. Springer, 1999.
    • (1999) LNCS , vol.1684 , pp. 258-268
    • Ene, C.1    Muntean, T.2
  • 16
    • 85033776866 scopus 로고
    • Impossibility and universality results for wait-free synchronization
    • ACM Press
    • M. Herlihy. Impossibility and universality results for wait-free synchronization. In Proc. of PODC'88, pages 276-290. ACM Press, 1988.
    • (1988) Proc. of PODC'88 , pp. 276-290
    • Herlihy, M.1
  • 17
    • 84983016110 scopus 로고
    • An object calculus for asynchronous communication
    • Proc. of ECOOP'91. Springer
    • K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP'91, volume 512 of LNCS, pages 133-147. Springer, 1991.
    • (1991) LNCS , vol.512 , pp. 133-147
    • Honda, K.1    Tokoro, M.2
  • 19
    • 0000511698 scopus 로고
    • The polyadic π-calculus: A tutorial
    • Logic and Algebra of Specification, NATO ASI, Springer
    • R. Milner. The polyadic π-calculus: A tutorial. In Logic and Algebra of Specification, volume 94 of Series F. NATO ASI, Springer, 1993.
    • (1993) Series F. , vol.94
    • Milner, R.1
  • 20
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • Proc. of ICALP'92. Springer
    • R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. of ICALP'92, volume 623 of LNCS, pages 685-695. Springer, 1992.
    • (1992) LNCS , vol.623 , pp. 685-695
    • Milner, R.1    Sangiorgi, D.2
  • 22
    • 15844425952 scopus 로고    scopus 로고
    • Comparing the expressive power of the synchronous and the asynchronous π-calculi
    • C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculi. Mathematical Structures in Computer Science, 13(5):685-719, 2003.
    • (2003) Mathematical Structures in Computer Science , vol.13 , Issue.5 , pp. 685-719
    • Palamidessi, C.1
  • 23
    • 0010728871 scopus 로고    scopus 로고
    • An introduction to the π-calculus
    • Elsevier Science
    • J. Parrow. An introduction to the π-calculus. In Handbook of Process Algebra, pages 479-543. Elsevier Science, 2001.
    • (2001) Handbook of Process Algebra , pp. 479-543
    • Parrow, J.1
  • 24
    • 21244434542 scopus 로고    scopus 로고
    • On encoding pπ in mπ
    • Proc. of FSTTCS'98. Springer
    • P. Quaglia and D. Walker. On encoding pπ in mπ. In Proc. of FSTTCS'98, volume 1530 of LNCS, pages 42-51. Springer, 1998.
    • (1998) LNCS , vol.1530 , pp. 42-51
    • Quaglia, P.1    Walker, D.2
  • 25
    • 0000770509 scopus 로고    scopus 로고
    • Bisimulation in higher-order process calculi
    • D. Sangiorgi. Bisimulation in higher-order process calculi. Information and Computation, 131:141-178, 1996.
    • (1996) Information and Computation , vol.131 , pp. 141-178
    • Sangiorgi, D.1
  • 26
    • 84968720225 scopus 로고
    • Separating concurrent languages with categories of language embeddings
    • ACM Press
    • rd STOC, pages 198-208. ACM Press, 1991.
    • (1991) rd STOC , pp. 198-208
    • Shapiro, E.1
  • 27
    • 84947920982 scopus 로고    scopus 로고
    • Graph types for monadic mobile processes
    • Proc. of FSTTCS'96. Springer
    • N. Yoshida. Graph types for monadic mobile processes. In Proc. of FSTTCS'96, volume 1180 of LNCS, pages 371-386. Springer, 1996.
    • (1996) LNCS , vol.1180 , pp. 371-386
    • Yoshida, N.1
  • 28
    • 0011211721 scopus 로고    scopus 로고
    • Towards a hierarchy of negative test operators for generative communication
    • Proc. of EXPRESS'98
    • G. Zavattaro. Towards a hierarchy of negative test operators for generative communication. In Proc. of EXPRESS'98, volume 16 of ENTCS, 1998.
    • (1998) ENTCS , vol.16
    • Zavattaro, G.1


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