메뉴 건너뛰기




Volumn 4038 LNCS, Issue , 2006, Pages 247-265

Actors, roles and coordinators - A coordination model for open distributed and embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; MAPPING; QUALITY OF SERVICE;

EID: 33746268966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767954_16     Document Type: Conference Paper
Times cited : (37)

References (31)
  • 2
    • 18944392483 scopus 로고    scopus 로고
    • The Pi calculus and its applications (keynote address)
    • Milner, R.: The Pi Calculus and its Applications (keynote address). In IJCSL (1998)
    • (1998) IJCSL
    • Milner, R.1
  • 4
    • 84991988800 scopus 로고
    • Towards a theory of actor computation
    • Third International Conference on Concurrency Theory, Springer-Verlag
    • Agha, G., Mason, I., Smith, S., Talcott, C.: Towards a Theory of Actor Computation. In Third International Conference on Concurrency Theory. Lecture Notes in Computer Science, Springer-Verlag (1992) 565-579
    • (1992) Lecture Notes in Computer Science , pp. 565-579
    • Agha, G.1    Mason, I.2    Smith, S.3    Talcott, C.4
  • 14
    • 33746264511 scopus 로고    scopus 로고
    • Abstract behavior types: A foundation model for components and their composition
    • CWI, Amsterdam, Netherlands
    • Arbab, F.: Abstract behavior types: A foundation model for components and their composition. Technical report, CWI, Amsterdam, Netherlands (2004)
    • (2004) Technical Report
    • Arbab, F.1
  • 15
    • 0000788149 scopus 로고    scopus 로고
    • Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems
    • Minsky, N. H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans. (2000) 273-305
    • (2000) ACM Trans. , pp. 273-305
    • Minsky, N.H.1    Ungureanu, V.2
  • 18
    • 84926020762 scopus 로고    scopus 로고
    • Reo: A channel-based coordination model for component composition
    • Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science, Vol. 14, No. 3, (2004) 329-366
    • (2004) Mathematical Structures in Computer Science , vol.14 , Issue.3 , pp. 329-366
    • Arbab, F.1
  • 19
    • 2442460553 scopus 로고    scopus 로고
    • Formal specification and enactment of security policies through agent coordination contexts
    • Elsevier Science B.V.
    • Omicini, A., Ricci, A., Viroli, M.: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. Electronic Notes in Theoretical Computer Science, Elsevier Science B.V. (2003)
    • (2003) Electronic Notes in Theoretical Computer Science
    • Omicini, A.1    Ricci, A.2    Viroli, M.3
  • 20
    • 84957598864 scopus 로고    scopus 로고
    • Open, distributed coordination with finesse
    • School of Information Technology. The University of Queensland, Australia
    • Berry, A. and Kaplan, S.: Open, Distributed Coordination with Finesse. Technical Report, School of Information Technology. The University of Queensland, Australia (1999)
    • (1999) Technical Report
    • Berry, A.1    Kaplan, S.2
  • 24
    • 84957601889 scopus 로고    scopus 로고
    • A hierarchical model for coordination of concurrent activities
    • International Conference on Coordination (COORDINATION '99)
    • Varela, C. A., Agha, G.: A Hierarchical Model for Coordination of Concurrent Activities, International Conference on Coordination (COORDINATION '99), LNCS 1594 (1999)
    • (1999) LNCS , vol.1594
    • Varela, C.A.1    Agha, G.2


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