Multi labelled transition systems: A semantic framework for nominal calculi

Electronic Notes in Theoretical Computer Science

Volumn 169, Issue SUPPL., 2007, Pages 133-146

  De Nicola, Rocco ^a   Loreti, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Coordination models; Mobile code languages; Proof systems; Temporal logics of programs

Indexed keywords

BIOMINERALIZATION; SEMANTICS;

CONCURRENT SYSTEMS; COORDINATION MODEL; FUNDAMENTAL MODELS; LABELLED TRANSITION SYSTEMS; MOBILE CODES; NETWORK-AWARE PROGRAMMING; OPERATIONAL SEMANTICS; PROOF SYSTEM;

CALCULATIONS;

EID: 84863964166     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.019     Document Type: Article

References (17)

1. Amadio, R. M., I. Castellani and D. Sangiorgi, On bisimulations for the asynchronous π-calculus, Theoretical Computer Science 195 (1998), pp. 291-324,
2. an extended abstract appeared in Proceedings of CONCUR '96, LNCS 1119: 147-162. URL http://www.inria.fr/RRRT/RR-2913.html
3. Bettini, L., V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto and B. Venneri, The klaim project: Theory and practice, in: Global Computing, Lecture Notes in Computer Science 2874 (2003), pp. 88-150.
4. Boudol, G., Asynchrony and the π-calculus (note), Rapport de Recherche 1702, INRIA Sophia-Antipolis (1992). URL http://www.inria.fr/RRRT/RR-1702.html
5. Caires, L., Behavioral and spatial observations in a logic for the pi-calculus., in: I. Walukiewicz, editor, FoSSaCS, Lecture Notes in Computer Science 2987 (2004), pp. 72-89.
6. Cardelli, L. and A. D. Gordon, Mobile ambients., Theor. Comput. Sci. 240 (2000), pp. 177-213.
7. Castagna, G. and J. Vitek, Seal: A framework for secure mobile computations, in: H. Bal, B. Belkhouche and L. Cardelli, editors, Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, Springer, 1999 pp. 47-77.
8. Dam, M., Model checking mobile processes, Journal of Information and Computation 129 (1996), pp. 35-51. (Pubitemid 126411509)
9. De Nicola, R., G. Ferrari and R. Pugliese, KLAIM: a Kernel Language for Agents Interaction and Mobility, IEEE Transactions on Software Engineering 24 (1998), pp. 315-330. (Pubitemid 128741958)
10. De Nicola, R. and M. Loreti, Multi labelled transition systems for nominal calculi and their logics, Matematical Structure in Computer Science (2007), to appear.
11. Fournet, C., G. Gonthier, J. J. Levy, L. Maranget and D. Remy, A Calculus of Mobile Agents, in: U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), Lecture Notes in Computer Science 1119 (1996), pp. 406-421.
12. Hennessy, M. and J. Riely, Resource access control in systems of mobile agents, Information and Computation 173 (2002), pp. 82-120.
13. Honda, K. and M. Tokoro, An object calculus for asynchronous communication, in: P. America, editor, European Conference on Object-Oriented Programming (ECOOP'91), LNCS 512 (1991), pp. 133-147.
14. Milner, R., "Communication and Concurrency," International Series in Computer Science, Prentice Hall, 1989, sU Fisher Research 511/24.
15. Milner, R., J. Parrow and D. Walker, Modal logics for mobile processes, Theoretical Computer Science 114 (1993), pp. 149-171. (Pubitemid 23695578)
16. Milner, R., J. Parrow and J. Walker, A Calculus of Mobile Processes, I and II, Information and Computation 100 (1992), pp. 1-40, 41-77.
17. Wojciechowski, P. T. and P. Sewell, Nomadic pict: Language and infrastructure design for mobile agents., in: ASA/MA (1999), pp. 2-12.