% Encoding: UTF-8

@InCollection{Marmsoler2017b,
  author    = {Marmsoler, Diego},
  title     = {On the Semantics of Temporal Specifications of Component-Behavior for Dynamic Architectures},
  booktitle = {Eleventh International Symposium on Theoretical Aspects of Software Engineering},
  publisher = {Springer},
  year      = {2017},
  file      = {:Me\\Marmsoler_2016_PropertiesDynamicArchitectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.13},
}

@InCollection{Marmsoler2016,
  author    = {Marmsoler, Diego and Gleirscher, Mario},
  title     = {Specifying Properties of Dynamic Architectures using Configuration Traces},
  booktitle = {International Colloquium on Theoretical Aspects of Computing},
  publisher = {Springer},
  year      = {2016},
  pages     = {235--254},
  doi       = {10.1007/978-3-319-46750-4_14},
  file      = {:Me\\Marmsoler_2016_PropertiesDynamicArchitectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.13},
}

@InCollection{Marmsoler2017c,
  author    = {Marmsoler, Diego},
  title     = {Towards a Calculus for Dynamic Architectures},
  booktitle = {International Colloquium on Theoretical Aspects of Computing},
  publisher = {Springer},
  year      = {2017},
  file      = {:Me\\Marmsoler_2016_PropertiesDynamicArchitectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.13},
}

@Article{Marmsoler2016a,
  author       = {D. Marmsoler and M. Gleirscher},
  title        = {On Activation, Connection, and Behavior in Dynamic Architectures},
  journal      = {Scientific Annals of Computer Science},
  year         = {2016},
  volume       = {26},
  number       = {2},
  pages        = {187--248},
  doi          = {10.7561/SACS.2016.2.187},
  organization = {``A.I. Cuza'' University, Ia\c si, Rom\^ania},
  publisher    = {``A.I. Cuza'' University Press, Ia\c si},
}

@Article{Lochbihler2010,
  author        = {Lochbihler, Andreas},
  title         = {Coinduction},
  journal       = {The Archive of Formal Proof s. https://isa-afp.org/entries/Coinductive.shtml},
  year          = {2010},
  __markedentry = {[Diego:6]},
  owner         = {Diego},
  timestamp     = {2017.07.26},
}

@Book{Manna2012,
  title     = {The Temporal Logic of Reactive and Concurrent Systems},
  publisher = {Springer New York},
  year      = {1992},
  author    = {Manna, Zohar and Pnueli, Amir},
  doi       = {10.1007/978-1-4612-0931-7},
  owner     = {Diego},
  timestamp = {2016.03.08},
}