-
2
-
-
18944392483
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
21
-
-
15744400694
-
Agent role-based collaboration and coordination: A survey about existing approaches
-
Cabri, G., Ferrari, L., Leonardi, L.: Agent role-based collaboration and coordination: a survey about existing approaches. In International Conference on Systems, Man and Cybernetics (2004) 5473-5478
-
(2004)
International Conference on Systems, Man and Cybernetics
, pp. 5473-5478
-
-
Cabri, G.1
Ferrari, L.2
Leonardi, L.3
-
24
-
-
84957601889
-
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
-
27
-
-
33845439531
-
Reconfigurable coordination model for dynamic autonomous real-time systems
-
Ren, S., Shen L., Tsai, J.: Reconfigurable coordination model for dynamic autonomous real-time systems. In The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (2006)
-
(2006)
The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing
-
-
Ren, S.1
Shen, L.2
Tsai, J.3
|