메뉴 건너뛰기




Volumn 5065 LNCS, Issue , 2008, Pages 16-36

Unfolding graph transformation systems: Theory and applications to verification

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; MATHEMATICAL TRANSFORMATIONS; MOLECULAR INTERACTIONS;

EID: 45849110691     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_3     Document Type: Conference Paper
Times cited : (8)

References (33)
  • 2
    • 45849128508 scopus 로고    scopus 로고
    • Baldan, P., Corradini, A., Esparza, J., Heindel, T., König, B., Kozioura, V.: Verifying Red-Black Trees. In: Proc. of COSMICAH 2005, RR-05-04, pp. 1-15. Queen Mary University, Dept. of Computer Science (2005)
    • Baldan, P., Corradini, A., Esparza, J., Heindel, T., König, B., Kozioura, V.: Verifying Red-Black Trees. In: Proc. of COSMICAH 2005, vol. RR-05-04, pp. 1-15. Queen Mary University, Dept. of Computer Science (2005)
  • 3
    • 33745802170 scopus 로고    scopus 로고
    • Processes for Adhesive Rewriting Systems
    • Aceto, L, Ingólfsdóttir, A, eds, FOSSACS 2006 and ETAPS 2006, Springer, Heidelberg
    • Baldan, P., Corradini, A., Heindel, T., König, B., Sobociński, P.: Processes for Adhesive Rewriting Systems. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol. 3921, pp. 202-216. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3921 , pp. 202-216
    • Baldan, P.1    Corradini, A.2    Heindel, T.3    König, B.4    Sobociński, P.5
  • 4
    • 84944059317 scopus 로고    scopus 로고
    • A static analysis technique for graph transformation systems
    • Larsen, K.G, Nielsen, M, eds, CONCUR 2001, Springer, Heidelberg
    • Baldan, P., Corradini, A., König, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 381-395. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2154 , pp. 381-395
    • Baldan, P.1    Corradini, A.2    König, B.3
  • 5
    • 35048896452 scopus 로고    scopus 로고
    • Baldan, P., Corradini, A., König, B.: Verifying finite-state graph grammars: an unfolding-based approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, 3170, pp. 83-98. Springer, Heidelberg (2004); Full version as Tech.Rep.CS-2004-10, Dept.of Comp.Sci., University Ca' Foscari of Venice
    • Baldan, P., Corradini, A., König, B.: Verifying finite-state graph grammars: an unfolding-based approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 83-98. Springer, Heidelberg (2004); Full version as Tech.Rep.CS-2004-10, Dept.of Comp.Sci., University Ca' Foscari of Venice
  • 6
    • 45849087874 scopus 로고    scopus 로고
    • Baldan, P., Corradini, A., König, B., Schwoon, S.: McMillan's Complete Prefix for Contextual Nets. In: ToPNoC - Trans. on Petri Nets and Other Models of Concurrency (to appear, 2008); Special Issue from PN 2007 Workshops and Tutorials
    • Baldan, P., Corradini, A., König, B., Schwoon, S.: McMillan's Complete Prefix for Contextual Nets. In: ToPNoC - Trans. on Petri Nets and Other Models of Concurrency (to appear, 2008); Special Issue from PN 2007 Workshops and Tutorials
  • 7
    • 84937706727 scopus 로고    scopus 로고
    • Unfolding and Event Structure Semantics for Graph Grammars
    • Thomas, W, ed, FOSSACS 1999, Springer, Heidelberg
    • Baldan, P., Corradini, A., Montanari, U.: Unfolding and Event Structure Semantics for Graph Grammars. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol. 1578, pp. 73-89. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1578 , pp. 73-89
    • Baldan, P.1    Corradini, A.2    Montanari, U.3
  • 8
    • 0035951022 scopus 로고    scopus 로고
    • Contextual Petri nets, asymmetric event structures and processes
    • Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures and processes. Information and Computation 171(1), 1-49 (2001)
    • (2001) Information and Computation , vol.171 , Issue.1 , pp. 1-49
    • Baldan, P.1    Corradini, A.2    Montanari, U.3
  • 10
    • 84937208016 scopus 로고    scopus 로고
    • Baldan, P., König, B.: Approximating the behaviour of graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, 2505, pp. 14-29. Springer, Heidelberg (2002)
    • Baldan, P., König, B.: Approximating the behaviour of graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 14-29. Springer, Heidelberg (2002)
  • 11
    • 35248857864 scopus 로고    scopus 로고
    • Baldan, P., König, B., König, B.: A logic for analyzing abstractions of graph transformation systems. In: Cousot, R. (ed.) SAS 2003. LNCS, 2694, pp. 255-272. Springer, Heidelberg (2003)
    • Baldan, P., König, B., König, B.: A logic for analyzing abstractions of graph transformation systems. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 255-272. Springer, Heidelberg (2003)
  • 12
    • 33749574108 scopus 로고    scopus 로고
    • Event structure semantics for nominal calculi
    • Baier, C, Hermanns, H, eds, CONCUR 2006, Springer, Heidelberg
    • Bruni, R., Melgratti, H.C., Montanari, U.: Event structure semantics for nominal calculi. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 295-309. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4137 , pp. 295-309
    • Bruni, R.1    Melgratti, H.C.2    Montanari, U.3
  • 14
    • 45849102930 scopus 로고    scopus 로고
    • The expression of graph properties and graph transformations in monadic second-order logic
    • Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg [31]
    • Rozenberg , pp. 31
    • Courcelle, B.1
  • 15
    • 0000145484 scopus 로고    scopus 로고
    • Algebraic Approaches to Graph Transformation II: Single Pushout Approach and comparison with Double Pushout Approach
    • Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and comparison with Double Pushout Approach. In: Rozenberg [31]
    • Rozenberg , pp. 31
    • Ehrig, H.1    Heckel, R.2    Korff, M.3    Löwe, M.4    Ribeiro, L.5    Wagner, A.6    Corradini, A.7
  • 17
    • 0028756614 scopus 로고
    • Model checking using net unfoldings
    • Esparza, J.: Model checking using net unfoldings. Science of Computer Programming 23(2-3), 151-195 (1994)
    • (1994) Science of Computer Programming , vol.23 , Issue.2-3 , pp. 151-195
    • Esparza, J.1
  • 19
    • 0020746487 scopus 로고
    • The non-sequential behaviour of Petri nets
    • Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125-147 (1983)
    • (1983) Information and Control , vol.57 , pp. 125-147
    • Goltz, U.1    Reisig, W.2
  • 20
    • 0026157628 scopus 로고
    • A taxonomy of fairness and temporal logic problems for Petri nets
    • Howell, R.R., Rosier, L.E., Yen, H.: A taxonomy of fairness and temporal logic problems for Petri nets. Theoretical Computer Science 82, 341-372 (1991)
    • (1991) Theoretical Computer Science , vol.82 , pp. 341-372
    • Howell, R.R.1    Rosier, L.E.2    Yen, H.3
  • 22
    • 33847664593 scopus 로고    scopus 로고
    • Adhesive categories
    • Walukiewicz, I, ed, FOSSACS 2004, Springer, Heidelberg
    • Lack, S., Sobociński, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 273-288. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.2987 , pp. 273-288
    • Lack, S.1    Sobociński, P.2
  • 23
    • 0004135978 scopus 로고
    • PhD thesis, Department of Computer Science, University of Twente
    • Langerak, R.: Transformation and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente (1992)
    • (1992) Transformation and Semantics for LOTOS
    • Langerak, R.1
  • 26
    • 85029620397 scopus 로고
    • On the semantics of Petri nets
    • Cleaveland, W.R, ed, CONCUR 1992, Springer, Heidelberg
    • Meseguer, J., Montanari, U., Sassone, V.: On the semantics of Petri nets. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 286-301. Springer, Heidelberg (1992)
    • (1992) LNCS , vol.630 , pp. 286-301
    • Meseguer, J.1    Montanari, U.2    Sassone, V.3
  • 28
    • 58149364491 scopus 로고
    • On the nature of events: Another perspective in concurrency
    • Pinna, G.M., Poigne, A.: On the nature of events: another perspective in concurrency. Theoretical Computer Science 138(2), 425-454 (1995)
    • (1995) Theoretical Computer Science , vol.138 , Issue.2 , pp. 425-454
    • Pinna, G.M.1    Poigne, A.2
  • 32
    • 84945928892 scopus 로고    scopus 로고
    • Unfolding and finite prefix for nets with read arcs
    • Sangiorgi, D, de Simone, R, eds, CONCUR 1998, Springer, Heidelberg
    • Vogler, W., Semenov, A., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 501-516. Springer, Heidelberg (1998)
    • (1998) LNCS , vol.1466 , pp. 501-516
    • Vogler, W.1    Semenov, A.2    Yakovlev, A.3
  • 33
    • 85022794780 scopus 로고    scopus 로고
    • Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, 255, pp. 325-392. Springer, Heidelberg (1987)
    • Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.