Bigraphical Logics for XML
暂无分享,去创建一个
Vladimiro Sassone | Damiano Macedonio | Giovanni Conforti | V. Sassone | Damiano Macedonio | Giovanni Conforti
[1] L. Cardelli,et al. Querying Trees with Pointers , 2003 .
[2] Paolo Manghi,et al. The Query Language TQL , 2002, WebDB.
[3] Silvano Dal-Zilio,et al. A logic you can count on , 2004, POPL.
[4] Giorgio Ghelli,et al. TQL ALGEBRA AND ITS IMPLEMENTATION (EXTENDED ABSTRACT) , 2002 .
[5] John C. Reynolds,et al. Separation logic: a logic for shared mutable data structures , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[6] Giorgio Ghelli,et al. Decidability of Freshness, Undecidability of Revelation , 2004, FoSSaCS.
[7] Thomas Hildebrandt,et al. Bigraphs and ( Reactive ) XML an XML-centric model of computation , 2005 .
[8] Dan Suciu,et al. Data on the Web: From Relations to Semistructured Data and XML , 1999 .
[9] Robin Milner,et al. Axioms for bigraphical structure , 2005, Mathematical Structures in Computer Science.
[10] Peter W. O'Hearn,et al. Local Reasoning about Programs that Alter Data Structures , 2001, CSL.
[11] Robin Milner,et al. Bigraphs and mobile processes (revised): Technical report 580 , 2004 .
[12] Luca Cardelli,et al. A spatial logic for concurrency (part I) , 2003, Inf. Comput..
[13] Nicolás Marín,et al. Review of Data on the Web: from relational to semistructured data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann 1999. , 2003, SGMD.
[14] Luca Cardelli,et al. Manipulating Trees with Hidden Labels , 2003, FoSSaCS.
[15] Luca Cardelli,et al. Deciding validity in a spatial logic for trees , 2003, TLDI '03.
[16] Vladimiro Sassone,et al. Spatial Logics for Bigraphs , 2005, ICALP.
[17] Luca Cardelli,et al. A Spatial Logic for Querying Graphs , 2002, ICALP.
[18] Robin Milner,et al. Bigraphs and transitions , 2003, POPL '03.
[19] Philippa Gardner,et al. A Context Logic for Tree Update , 2004 .
[20] Luca Cardelli,et al. TQL: A Query Language for Semistructured Data Based on the Ambient Logic , 2003 .
[21] Robin Milner,et al. Bigraphs and mobile processes (revised) , 2004 .
[22] Luca Cardelli,et al. Describing semistructured data , 2001, SGMD.
[23] Serge Abiteboul,et al. Positive active XML , 2004, PODS '04.
[24] Luca Cardelli,et al. A Spatial Logic for Concurrency (Part II) , 2002, CONCUR.