Open bisimulation for the concurrent constraint Pi-calculus

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

Volumn 4960 LNCS, Issue , 2008, Pages 254-268

  Buscemi, Maria Grazia ^a   Montanari, Ugo ^b  

^a IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; DIFFERENTIATION (CALCULUS); FUSION REACTIONS; INFORMATION THEORY; LABELING; LABELS; MATHEMATICAL TECHNIQUES; NUCLEAR PHYSICS; PROGRAMMING THEORY; SEMANTICS;

ABSTRACT SEMANTICS; BISIMILARITY; BISIMULATION; CHARACTERISATION; CONCURRENT CONSTRAINT PROGRAMMING (CSP); CONCURRENT CONSTRAINTS; CONFERENCES (CHEMICAL INDUSTRY); CONSTRAINT HANDLING; EUROPEAN; EXPLICIT FUSIONS; HEIDELBERG (CO); LABELLED TRANSITION SYSTEM (LTS); LANGUAGES AND SYSTEMS; PI CALCULUS; PROCESS CALCULUS; REDUCTION SEMANTICS; SERVICE-LEVEL AGREEMENTS (SLA); SYMBOLIC TRANSITION SYSTEM (STS); SYNCHRONOUS COMMUNICATIONS; TRANSITION (JEL CLASSIFICATIONS:E52 ,E41 ,E31);

CALCULATIONS;

EID: 47249155322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78739-6_20     Document Type: Conference Paper

References (16)

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL 2001: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 104-115. ACM Press, New York (2001)
2. Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: ECAI, pp. 63-67. IOS Press, Amsterdam (2006)
3. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201-236 (1997)
4. Boreale, M., De Nicola, R.: A symbolic semantics for the pi-calculus. Inf. Comput. 126(1), 34-52 (1996)
5. Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18-32. Springer, Heidelberg (2007)
6. Diaz, J.F., Rueda, C., Valencia, F.: A calculus for concurrent processes with constraints. CLEI Electronic Journal 1(2) (1998)
7. Gilbert, D., Palamidessi, C.: Concurrent Constraint Programming with Process Mobility. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 463-477. Springer, Heidelberg (2000)
8. Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comp. Sci. 138, 353-389 (1995)
9. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput., 100(1), 1-40,41-77 (1992)
10. Palamidessi, C., Valencia, F.: A Temporal Concurrent Constraint Programming Calculus. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 302-316. Springer, Heidelberg (2001)
11. Rudeanu, S., Vaida, D.: Semirings in operations research and computer science. Fundam. Inf. 61(1), 61-85 (2004)
12. Sangiorgi, D.: A theory of bisimulation for the π-calculus. Acta Inform. 33, 69-97 (1996)
13. Saraswat, V.: Concurrent Constraint Programming. PhD thesis, Carnegie Mellon University (1993)
14. Saraswat, V., Rinard, M.: Concurrent constraint programming. In: Proc. POPL 1990. ACM Press (1990)
15. Wischik, L., Gardner, P.: Strong Bisimulation for the Explicit Fusion Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 484-498. Springer, Heidelberg (2004)
16. Wischik, L., Gardner, P.: Explicit fusions. Theoret. Comput. Sci. 340(3), 606-630 (2005)