Fundamenta Informaticae > 2014 > Vol. 135, nr 4 > 387--401
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2014-1130 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Bednarczyk, M. A., Jamroga, W., Pawłowski, W.: Expressing and Verifying Temporal and Structural Properties of Mobile Agents, Fundamenta Informaticae, 72(1-3), 2006, 51–63.
-
[2] Cardelli, L., Gordon, A. D.: Mobile Ambients, Theoretical Computer Science, 240, 2000, 177–213.
-
[3] Castagna, G., Vitek, J., Nardelli, F. Z.: The Seal Calculus, Information and Computation, 201, 2005, 1–54.