-
2
-
-
0032593803
-
Actors: A unifying model for parallel and distributed computing
-
Agha, G. and Kim, W. Actors: A unifying model for parallel and distributed computing. Journal of systems architecture 45, 1999, pp. 1263-1277.
-
(1999)
Journal of Systems Architecture
, vol.45
, pp. 1263-1277
-
-
Agha, G.1
Kim, W.2
-
3
-
-
84947919695
-
Mobile ambients, Foundations of Software Science and Computational Structures
-
Springer
-
Cardelli, L. and Gordon, A., Mobile ambients, Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 1378, Springer, 1998, pp. 140-155.
-
(1998)
Lecture Notes in Computer Science
, vol.1378
, pp. 140-155
-
-
Cardelli, L.1
Gordon, A.2
-
4
-
-
0030173077
-
Graph processes
-
Corradini, A., Montanari, U. and Rossi, F. Graph processes, Fundamentae Informatica, vol. 26, no. 3-4, 1996, pp. 241-265.
-
(1996)
Fundamentae Informatica
, vol.26
, Issue.3-4
, pp. 241-265
-
-
Corradini, A.1
Montanari, U.2
Rossi, F.3
-
5
-
-
0013259738
-
An environment for formal modeling and simulation for graph grammars
-
Copstein, B., Móra, M. and Ribeiro, L., An environment for formal modeling and simulation for graph grammars, 33rd Annual Simulation Symposium, 2000.
-
(2000)
33rd Annual Simulation Symposium
-
-
Copstein, B.1
Móra, M.2
Ribeiro, L.3
-
6
-
-
0000372791
-
KLAIM: A kernel language for agents interaction and mobility
-
De Nicola, R., Ferrari, G. and Pugliese, R. KLAIM: A kernel language for agents interaction and mobility, Transactions On Software Engineering, IEEE , vol. 24, 1998, pp. 315-330.
-
(1998)
Transactions on Software Engineering, IEEE
, vol.24
, pp. 315-330
-
-
De Nicola, R.1
Ferrari, G.2
Pugliese, R.3
-
7
-
-
0000145484
-
-
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A. and Corradini, A., Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, in (26), pp. 247-312.
-
Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach
, Issue.26
, pp. 247-312
-
-
Ehrig, H.1
Heckel, R.2
Korff, M.3
Löwe, M.4
Ribeiro, L.5
Wagner, A.6
Corradini, A.7
-
8
-
-
85034646939
-
Introduction to the algebraic theory of graph grammars
-
Springer
-
Ehrig, H., Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1-69.
-
(1979)
Lecture Notes in Computer Science
, vol.73
, pp. 1-69
-
-
Ehrig, H.1
-
9
-
-
4544373958
-
Understanding Code Mobility
-
Fuggeta, A., Picco, G. and Vigna, G., Understanding Code Mobility, Trans. On Software Engineering, IEEE, vol. 24, 1998, pp. 342-361.
-
(1998)
Trans. On Software Engineering, IEEE
, vol.24
, pp. 342-361
-
-
Fuggeta, A.1
Picco, G.2
Vigna, G.3
-
13
-
-
0013243841
-
True concurrency semantics for single pushout graph transformations with applications to actor systems
-
Korff, M., True concurrency semantics for single pushout graph transformations with applications to actor systems, Information Systems - Correctness and Reusability, World Scientific, 1995, pp. 33-50.
-
(1995)
Information Systems - Correctness and Reusability, World Scientific
, pp. 33-50
-
-
Korff, M.1
-
15
-
-
0002274099
-
An algebraic framework for the transformation of attributed graphs
-
John Wiley & Sons
-
Löwe, M., Korff, M. and Wagner, A., An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons, 1993, pp. 185-199.
-
(1993)
Term Graph Rewriting: Theory and Practice
, pp. 185-199
-
-
Löwe, M.1
Korff, M.2
Wagner, A.3
-
16
-
-
0027558267
-
Algebraic approach to single pushout graph transformation
-
Löwe, M. Algebraic approach to single pushout graph transformation. Theoretical Computer Science, vol 109, 1993, pp. 181-224.
-
(1993)
Theoretical Computer Science
, vol.109
, pp. 181-224
-
-
Löwe, M.1
-
18
-
-
0029713278
-
Agents, Services and Electronic Markets: How Do They Integrate?
-
Merz, M. and Lamersdorf, W., Agents, Services and Electronic Markets: How Do They Integrate?, In Proc. of the International Conference On Distributed Platforms,IFIP /IEEE, 1996.
-
(1996)
Proc. of the International Conference on Distributed Platforms,IFIP /IEEE
-
-
Merz, M.1
Lamersdorf, W.2
-
19
-
-
44049113210
-
A calculus for mobile processes I
-
Milner, R. and Parrow, J., A calculus for mobile processes I, Information and Computation, vol. 100, 1992, pp. 1-40.
-
(1992)
Information and Computation
, vol.100
, pp. 1-40
-
-
Milner, R.1
Parrow, J.2
-
20
-
-
84867653197
-
Modeling concurrent, mobile and coordinated systems via graph transformations
-
Concurrency, Parallelism and Distribution, World Scientific
-
Montanari, U., Pistore, M. and Rossi, F. Modeling concurrent, mobile and coordinated systems via graph transformations, The Handbook of Graph Grammars, vol. 3: Concurrency, Parallelism and Distribution, World Scientific, 1999, pp. 189-268.
-
(1999)
The Handbook of Graph Grammars
, vol.3
, pp. 189-268
-
-
Montanari, U.1
Pistore, M.2
Rossi, F.3
-
21
-
-
44049114041
-
A calculus for mobile processes II
-
Milner, R., Parrow, J., and Walker, D., A calculus for mobile processes II, Information and Computation, vol. 100, 1992, pp. 41-77.
-
(1992)
Information and Computation
, vol.100
, pp. 41-77
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
22
-
-
0033295309
-
Mobile Agent Standards and Available Platforms
-
Perdikeas, M., Chatzipapadopoulos, F., Venieris, I. and Marino, G., Mobile Agent Standards and Available Platforms., Computer Networks, vol. 31, 1999, pp. 1999-2016.
-
(1999)
Computer Networks
, vol.31
, pp. 1999-2016
-
-
Perdikeas, M.1
Chatzipapadopoulos, F.2
Venieris, I.3
Marino, G.4
-
25
-
-
0031189708
-
Mobile UNITY: Reasoning and specification in mobile computing
-
Roman, G., McCann, P. and Plun, J., Mobile UNITY: reasoning and specification in mobile computing, ACM TOSEM, vol. 6, no. 3, 1997, pp. 250-282.
-
(1997)
ACM TOSEM
, vol.6
, Issue.3
, pp. 250-282
-
-
Roman, G.1
McCann, P.2
Plun, J.3
-
28
-
-
35048814761
-
A Survey of Active Network Research
-
January
-
Tennenthouse, D. L., Wetherall, D. J., Smith, J. M., Minden, G. J. and Shiaskie, W., A Survey of Active Network Research, IEEE Communication Magazine, January 1997.
-
(1997)
IEEE Communication Magazine
-
-
Tennenthouse, D.L.1
Wetherall, D.J.2
Smith, J.M.3
Minden, G.J.4
Shiaskie, W.5
-
29
-
-
85015121386
-
Nomadic pict: Language and infrastructure design for mobile agents
-
Wojciechowski, P., Sewell, P., Nomadic pict: language and infrastructure design for mobile agents, In Proc. of the ASA/MA'99, 1999.
-
(1999)
Proc. of the ASA/MA'99
-
-
Wojciechowski, P.1
Sewell, P.2
|