We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provides the simplest setting in which to explore such results for spatial logics. We study several forms of the logic: the logic with and without recursion, and with either an exponential or a linear version of the basic com...

1. Janssen AJM, Trijbels FJM, Sengers RCA, Smeitink JAM, van den Heuvel LP, Wintjes LTM, et al. Spectrophotometric assay for complex I of the respiratory chain in tissue samples and cultured fibroblasts. Clin Chem 2007;53:729–34. 2. Bénit P, Slama A, Rustin P. Decylubiquinol impedes mitochondrial respiratory chain complex I activity. Mol Cell Biochem. 2008;314:45–50. 3. Esposti MD, Ngo A, Ghell...

In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define two distinct fragments of this logic: TL containing only spatial connectives and TL containing spatial connectives and quantification. We show that the combined complexity of TL is PSPACE-hard. We also study data complex...

Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of principals. We study a type-based theory of DAC models for concurrent and distributed systems represented as terms of Cardelli, Ghelli and Gordon’s pi calculus with groups [3]. In our theory, groups play the rôle of principals,...

We present a specialization inheritance mechanism for a strongly typed object-oriented language, called Enhanced Strict Inheritance (ESI). It is a mechanism of classi cation in which the subclassing relation between classes re ects the subtyping relationship between the corresponding types. The de nition of ESI is based on a covariant rede nition rule for methods. ESI is modeled via the &ESI-ca...

Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this context, the interleaving operator would be a natural addition to the language of REs, as witnessed by the presence of limited forms of interleaving in XSD (the all group), Relax-NG, and SGML. Unfortunately, membership check...