-
1
-
-
84957587819
-
A coordination model for agents based on secure spaces
-
Proc. 3rd International Conference on Coordination Models and Languages (Coordination'99). Springer-Verlag, Berlin Hiedelberg
-
C. Bryce and M. Oriol and J. Vitek: A Coordination Model for Agents Based on Secure Spaces. In Proc. 3rd International Conference on Coordination Models and Languages (Coordination'99), LNCS 1594. Springer-Verlag, Berlin Hiedelberg (1999) 4-20
-
(1999)
LNCS
, vol.1594
, pp. 4-20
-
-
Bryce, C.1
Oriol, M.2
Vitek, J.3
-
2
-
-
23044532654
-
Lana: An approach to programming autonomous systems
-
ECOOP 2002. Springer-Verlag, Berlin Hiedelberg
-
C. Bryce, C. Razafimahefa, M. Pawlak: Lana: An Approach to Programming Autonomous Systems. In ECOOP 2002, LNCS 2374. Springer-Verlag, Berlin Hiedelberg (2002) 281-308
-
(2002)
LNCS
, vol.2374
, pp. 281-308
-
-
Bryce, C.1
Razafimahefa, C.2
Pawlak, M.3
-
3
-
-
0024738868
-
How to write a parallel program: A guide to the perplexed
-
N. Carriero, D. Gelernter: How to Write a Parallel Program: A Guide to the Perplexed. ACM Computing Surveys, 21(3):323-357 (1989)
-
(1989)
ACM Computing Surveys
, vol.21
, Issue.3
, pp. 323-357
-
-
Carriero, N.1
Gelernter, D.2
-
4
-
-
84976215953
-
Coordination languages and their significance
-
N. Carriero, D. Gelernter: Coordination Languages and Their Significance. Communication of the ACM, 35(2):97-107 (1992)
-
(1992)
Communication of the ACM
, vol.35
, Issue.2
, pp. 97-107
-
-
Carriero, N.1
Gelernter, D.2
-
6
-
-
0000338326
-
Programming semantics for multiprogrammed computations
-
J. B. Dennis, E. C. van Horn: Programming Semantics for Multiprogrammed Computations. Communication of the ACM, 9(3):143-154 (1966)
-
(1966)
Communication of the ACM
, vol.9
, Issue.3
, pp. 143-154
-
-
Dennis, J.B.1
Van Horn, E.C.2
-
10
-
-
35048840264
-
Enforcing security policies via types
-
Proc. 1st Int. Conf. on Security in Pervasive Computing (SPC'03). Springer-Verlag, Berlin Hiedelberg
-
D. Gorla, R. Pugliese: Enforcing Security Policies via Types. In Proc. 1st Int. Conf. on Security in Pervasive Computing (SPC'03), LNCS 2802. Springer-Verlag, Berlin Hiedelberg (2003) 88-103
-
(2003)
LNCS
, vol.2802
, pp. 88-103
-
-
Gorla, D.1
Pugliese, R.2
-
11
-
-
84979272529
-
A principled semantics for inp
-
Coordination Models and Languages. Springer-Verlag, Berlin Hiedelberg
-
J. L. Jacob, A. Wood: A Principled Semantics for inp. In Coordination Models and Languages, LNCS 1906. Springer-Verlag, Berlin Hiedelberg (2000) 51-66
-
(2000)
LNCS
, vol.1906
, pp. 51-66
-
-
Jacob, J.L.1
Wood, A.2
-
13
-
-
84958984953
-
Law governed Linda as a coordination model
-
Object-Based Models and Languages for Concurrent Systems. Springer-Verlag, Berlin Hiedelberg
-
N. H. Minsky, J. Leichter: Law Governed Linda as a Coordination Model. In Object-Based Models and Languages for Concurrent Systems, LNCS 924. Springer-Verlag, Berlin Hiedelberg (1995) 125-146
-
(1995)
LNCS
, vol.924
, pp. 125-146
-
-
Minsky, N.H.1
Leichter, J.2
-
17
-
-
84957544432
-
Coordination with attributes
-
Coordination Languages and Models. Springer-Verlag, Berlin Hiedelberg
-
A. Wood: Coordination with Attributes. In Coordination Languages and Models, LNCS 1594. Springer-Verlag, Berlin Hiedelberg (1999) 21-36
-
(1999)
LNCS
, vol.1594
, pp. 21-36
-
-
Wood, A.1
|