Depth boundedness in multiset rewriting systems with name binding

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

Volumn 6227 LNCS, Issue , 2010, Pages 161-175

  Rosa Velardo, Fernando ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC FORMULAE; BOUNDEDNESS; CALCULUS PROCESS; COVERABILITY; MULTI-SETS; MULTISET REWRITING; NAME-BINDING; WELL-STRUCTURED TRANSITION SYSTEMS;

FORMAL LOGIC; PETRI NETS;

CALCULATIONS;

EID: 78049289049     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15349-5_11     Document Type: Conference Paper

References (22)

1. Abadi, M., Gordon, A. D.: A Calculus for Cryptographic Protocols: The spi Calculus. Inf. Comput. 148(1), 1-70 (1999)
2. Abdulla, P. A., Cerans, K., Jonsson, B., Tsay, Y. K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comput. 160 (1-2), 109-127 (2000)
3. Baldan, P., Bonchi, F., Gadducci, F.: Encoding asynchronous interactions using open Petri nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 99-114. Springer, Heidelberg (2009)
4. Busi, N., Gorrieri, R.: Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebr. Program. 78(3), 138-162 (2009)
5. Cervesato, I.: Typed MSR: Syntax and Examples. In: Gorodetski, V. I., Skormin, V. A., Popyack, L. J. (eds.) MMM-ACNS 2001. LNCS, vol. 2052, pp. 159-177. Springer, Heidelberg (2001)
6. Cervesato, I., Durgin, N. A., Lincoln, P., Mitchell, J. C., Scedrov, A.: A metanotation for protocol analysis. In: CSFW, pp. 55-69 (1999)
7. Decker, G., Weske, M.: Instance isolation analysis for service-oriented architectures. In: IEEE SCC, vol. (1), pp. 249-256. IEEE Computer Society, los Alamitos (2008)
8. Delzanno, G.: An overview of MSR (C): A CLP-based framework for the symbolic verification of parameterized concurrent systems. Electr. Notes Theor. Comput. Sci, vol. 76(2002)
9. Delzanno, G.: Constraint multiset rewriting. Technical Report DISI-TR-05-08, University of Genova (2005)
10. Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere? Theor. Comput. Sci. 256 (1-2), 63-92 (2001)
11. Geeraerts, G., Raskin, J. F., Begin, L. V.: Expand, enlarge and check: New algorithms for the coverability problem of wsts. J. Comput. Syst. Sci. 72(1), 180-203 (2006)
12. Gordon, A. D.: Notes on nominal calculi for security and mobility. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol. 2171, pp. 262-330. Springer, Heidelberg (2001)
13. Meyer, R.: On boundedness in Depth in the pi-calculus. In: Ausiello, G., Karhumäki, J., Mauri, G., Ong, C. H. L. (eds.) IFIP TCS. IFIP, vol. 273, pp. 477-489. Springer, Heidelberg (2008)
14. Meyer, R.: A theory of structural stationarity in the pi-calculus. Acta Inf. 46(2), 87-137 (2009)
15. Meyer, R., Gorrieri, R.: On the relationship between pi-calculus and finite place/transition Petri nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 463-480. Springer, Heidelberg (2009)
16. Rosa-Velardo, F.: Multiset rewriting: a semantic framework for concurrency with name binding. In: 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010. Springer, Heidelberg (to appear, 2010)
17. Rosa-Velardo, F., de Frutos-Escrig, D.: Name creation vs. replication in Petri net systems 88(3), 329-356 (2008)
18. Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability problems in Petri nets with name creation and replication (submitted)
19. Rosa-Velardo, F., de Frutos-Escrig, D., Alonso, O. M.: On the expressiveness of Mobile Synchronizing Petri Nets. Electr. Notes Theor. Comput. Sci. 180(1), 77-94 (2007) (Pubitemid 46856312)
20. Sangiorgi, D., Walker, D.: The pi-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
21. van Hee, K. M., Sidorova, N., Voorhoeve, M., van der Werf, J. M. E. M.: Generation of database transactions with petri nets. Fundam. Inform. 93 (1-3), 171-184 (2009)
22. Wies, T., Zufferey, D., Henzinger, T. A.: Forward analysis of depth-bounded processes. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 94-108. Springer, Heidelberg (2010)