Normal bisimulations in calculi with passivation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5504 LNCS, Issue , 2009, Pages 257-271

  Lenglet, Sergueï ^a   Schmitt, Alan ^b   Stefani, Jean Bernard ^b  

^a UNIV GRENOBLE ALPES   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTATION THEORY; FAULT TOLERANCE; PASSIVATION; PATHOLOGY;

BEHAVIORAL THEORY; BISIMULATIONS; FIRST ORDER; HIGHER-ORDER; HIGHER-ORDER PROCESS; NAME RESTRICTION; PI CALCULUS; RUNNING PROCESS;

CALCULATIONS;

EID: 70349858615     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00596-1_19     Document Type: Conference Paper

References (14)

1. Cao, Z.: More on bisimulations for higher order π-calculus. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 63-78. Springer, Heidelberg (2006)
2. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, p. 140. Springer, Heidelberg (1998)
3. Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal Calculus. Information and Computation 201(1) (2005)
4. Godskesen, J.C., Hildebrandt, T.: Extending howe's method to early bisimulations for typed mobile embedded resources with local names. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol. 3821, pp. 140-151. Springer, Heidelberg (2005)
5. Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation congruences for Homer a calculus of higher order mobile embedded resources. Technical Report ITU-TR-2004-52, IT University of Copenhagen (2004)
6. Howe, D.J.: Proving congruence of bisimulation in functional programming languages. Information and Computation 124(2) (1996)
7. Lanese, I., Perez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness and decidability of higher-order process calculi. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, Los Alamitos (2008)
8. Lenglet, S., Schmitt, A., Stefani, J.B.: Normal bisimulations in process calculi with passivation. Technical Report RR 6664, INRIA (2008), http://sardes.inrialpes.fr/papers/files/RR-6664.pdf
9. Merro, M., Zappa Nardelli, F.: Behavioral theory for mobile ambients. Journal of the ACM 52(6) (2005)
10. Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher- Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh (1992)
11. Sangiorgi, D.: Bisimulation for higher-order process calculi. Information and Computation 131(2) (1996)
12. Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
13. Schmitt, A., Stefani, J.B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146-178. Springer, Heidelberg (2005)
14. Thomsen, B.: Plain chocs: A second generation calculus for higher order processes. Acta Informatica 30(1) (1993)