메뉴 건너뛰기




Volumn 1628, Issue , 1999, Pages 495-518

A process algebraic specification of the new asynchronous CORBA messaging service?

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MESSAGE PASSING; MIDDLEWARE; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

EID: 84947908698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48743-3_23     Document Type: Conference Paper
Times cited : (18)

References (33)
  • 7
    • 0003403203 scopus 로고
    • Technical Report INRIA-92-1702, INRIA Sophia-Antipolis
    • G. Boudol. Asynchrony and the π−calculus. Technical Report INRIA-92-1702, INRIA Sophia-Antipolis., 1992
    • (1992) Asynchrony and the π−calculus
    • Boudol, G.1
  • 8
    • 84947977037 scopus 로고    scopus 로고
    • Laboratoire d'Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Man-agement Group
    • Laboratoire d'Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Man-agement Group, 1998
    • (1998)
  • 9
    • 0032179657 scopus 로고    scopus 로고
    • Concurrency and knowledge-level communication in agent languages
    • M. Gaspari. Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1-2):1-45, 1998
    • (1998) Artificial Intelligence , vol.105 , Issue.1-2 , pp. 1-45
    • Gaspari, M.1
  • 10
    • 0009885791 scopus 로고    scopus 로고
    • An actor algebra for specifying distributed systems: The hurried philosophers case study
    • In G. Agha and F. Decindio, editors, Springer-Verlag, Berlin, To appear
    • M. Gaspari and G. Zavattaro. An actor algebra for specifying distributed systems: the hurried philosophers case study. In G. Agha and F. Decindio, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998. To appear
    • (1998) Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science
    • Gaspari, M.1    Zavattaro, G.2
  • 12
    • 84947977038 scopus 로고
    • OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group
    • Object Management Group. OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group, 1992
    • (1992)
  • 13
    • 84947977039 scopus 로고    scopus 로고
    • Messaging Service RFP. Technical Report orbos/96-03-16, Object Management Group, Framingham, MA
    • Object Management Group. Messaging Service RFP. Technical Report orbos/96-03-16, Object Management Group, Framingham, MA, 1996
    • (1996)
  • 14
    • 84947977040 scopus 로고    scopus 로고
    • CORBA Messaging Joint Revised Submission. Tech-nical Report orbos/98-05-05, Object Management Group, Framingham, MA
    • Object Management Group. CORBA Messaging Joint Revised Submission. Tech-nical Report orbos/98-05-05, Object Management Group, Framingham, MA, 1998
    • (1998)
  • 15
    • 84947977041 scopus 로고    scopus 로고
    • CORBA Services. Technical Report formal/98-12-09, Object Management Group
    • Object Management Group. CORBA Services. Technical Report formal/98-12-09, Object Management Group, 1998
    • (1998)
  • 16
    • 84947977042 scopus 로고    scopus 로고
    • The Common Object Request Brocker: Architecture and Specification. Object Management Group
    • Object Management Group. The Common Object Request Brocker: Architecture and Specification. Object Management Group, 1998
    • (1998)
  • 17
    • 0017504498 scopus 로고
    • Viewing control structures as patterns of passing messages
    • C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323-364, 1977
    • (1977) Artificial Intelligence , vol.8 , Issue.3 , pp. 323-364
    • Hewitt, C.1
  • 24
    • 0027353881 scopus 로고
    • Elements of interaction
    • January
    • R. Milner. Elements of interaction. Communications of the ACM, 36(1):79-89, January 1993
    • (1993) Communications of the ACM , vol.36 , Issue.1 , pp. 79-89
    • Milner, R.1
  • 29
    • 0003931061 scopus 로고
    • Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark
    • G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark, 1981
    • (1981) A Structural Approach to Operational Semantics
    • Plotkin, G.1
  • 30
    • 0042511353 scopus 로고    scopus 로고
    • Interaction Semantics for Components of Distributed Systems
    • Chapmann & Hall
    • C. Talcott. Interaction Semantics for Components of Distributed Systems. In Proc. FMOODS'96, pages 154-169. Chapmann & Hall, 1996
    • (1996) Proc. FMOODS'96 , pp. 154-169
    • Talcott, C.1
  • 32
    • 0032186781 scopus 로고    scopus 로고
    • New Features for CORBA 3.0
    • October
    • S. Vinoski. New Features for CORBA 3.0. Communications of the ACM, 41(10), October 1998
    • (1998) Communications of the ACM , vol.41 , Issue.10
    • Vinoski, S.1
  • 33
    • 0001216410 scopus 로고
    • Objects in the π−calculus
    • D. Walker. Objects in the π−calculus. Information and Computation, 116(2):253-271, 1995.
    • (1995) Information and Computation , vol.116 , Issue.2 , pp. 253-271
    • Walker, D.1


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