Giorgio Bacci, Davide Grohmann & Marino Miculan (2009):
DBtk: A Toolkit for Directed Bigraphs.
In: Proc. Intl. Conf. on Algebra and Coalgebra in Computer Science.
Springer,
pp. 413–422,
doi:10.1007/978-3-642-03741-2_28.
Don Batory (2005):
Feature Models, Grammars, and Propositional Formulas.
In: Proc. Intl. Conf. on Software Product Lines.
Springer,
pp. 7–20,
doi:10.1007/11554844_3.
Enrico Biermann, Claudia Ermel & Gabriele Taentzer (2012):
Formal foundation of consistent EMF model transformations by algebraic graph transformation.
Software & Systems Modeling 11(2),
pp. 227–250,
doi:10.1007/s10270-011-0199-7.
Mikkel Bundgaard & Vladimiro Sassone (2006):
Typed polyadic pi-calculus in bigraphs.
In: Proc. Intl. Conf. on Principles and Practice of Declarative Programming.
ACM,
pp. 1–12,
doi:10.1145/1140335.1140336.
Luca Cardelli & Andrew D. Gordon (1998):
Mobile Ambients.
In: Proc. Intl. Conf. on Foundations of Software Science and Computation Structure,
pp. 140–155,
doi:10.1007/BFb0053547.
Dave Clarke, Michiel Helvensteijn & Ina Schaefer (2015):
Abstract delta modelling.
Mathematical Structures in Computer Science 25(3),
pp. 482–527,
doi:10.1017/S0960129512000941.
Krzysztof Czarnecki & MichałAntkiewicz (2005):
Mapping features to models: A template approach based on superimposed variants.
In: Proc. Intl. Conf. on Generative Programming and Component Engineering.
Springer,
pp. 422–437,
doi:10.1007/11561347_28.
Karsten Ehrig, Jochen Malte Küster & Gabriele Taentzer (2009):
Generating instance models from meta models.
Software & Systems Modeling 8(4),
pp. 479–500,
doi:10.1007/s10270-008-0095-y.
Alexander John Faithfull, Gian Perrone & Thomas T. Hildebrandt (2013):
Big Red: A Development Environment for Bigraphs.
ECEASST 61,
doi:10.14279/tuj.eceasst.61.835.
Object Management Group (2013):
Meta Object Facility (MOF) Core Specification, version 2.4.1.
OMG document number: formal/2013-06-01.
Object Management Group (2014):
Object Constraint Language (OCL), version 2.4.
OMG document number: formal/2014-02-03.
Reiko Heckel, Jochen Malte Küster & Gabriele Taentzer (2002):
Confluence of Typed Attributed Graph Transformation Systems.
In: Proc. Intl. Conf. on Graph Transformation,
Lecture Notes in Computer Science 2505.
Springer,
pp. 161–176,
doi:10.1007/3-540-45832-8_14.
Espen Højsgaard (2012):
Bigraphical languages and their simulation.
IT University of Copenhagen.
Kyo Kang, Sholom Cohen, James Hess, William Novak & A. Peterson (1990):
Feature-Oriented Domain Analysis (FODA) Feasibility Study.
Technical Report CMU/SEI-90-TR-021.
Software Engineering Institute, Carnegie Mellon University,
Pittsburgh, PA.
Timo Kehrer, Udo Kelter & Gabriele Taentzer (2011):
A rule-based approach to the semantic lifting of model differences in the context of model versioning.
In: Proc. Intl. Conf. on Automated Software Engineering,
pp. 163–172,
doi:10.1109/ASE.2011.6100050.
Jean Krivine, Robin Milner & Angelo Troina (2008):
Stochastic bigraphs.
Electronic Notes in Theoretical Computer Science 218,
pp. 73–96,
doi:10.1016/j.entcs.2008.10.006.
James Leifer & Robin Milner (2006):
Transition systems, link graphs and Petri nets.
Mathematical Structures in Computer Science 16(06),
pp. 989–1047,
doi:10.1017/S0960129506005664.
Robin Milner (2006):
Pure bigraphs: Structure and dynamics.
Information and computation 204(1),
pp. 60–122,
doi:10.1016/j.ic.2005.07.003.
Robin Milner (2009):
The Space and Motion of Communicating Agents.
Cambridge University Press,
doi:10.1017/CBO9780511626661.
Gian Perrone, Søren Debois & Thomas Hildebrandt (2012):
A model checker for bigraphs.
In: Proc. Annual ACM Symposium on Applied Computing.
ACM,
pp. 1320–1325,
doi:10.1145/2245276.2231985.
Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling & Manuel Ohrndorf (2015):
SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering.
In: Proc. Intl. Conf. on Automated Software Engineering.
IEEE Computer Society,
pp. 852–857,
doi:10.1109/ASE.2015.106.
Michele Sevegnani & Muffy Calder (2015):
Bigraphs with Sharing.
Theor. Comput. Sci. 577,
pp. 43–73,
doi:10.1016/j.tcs.2015.02.011.
Dave Steinberg, Frank Budinsky, Ed Merks & Marcelo Paternostro (2008):
EMF: Eclipse Modeling Framework.
Pearson Education.
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale & Bashar Nuseibeh (2016):
Adding Static and Dynamic Semantics to Building Information Models.
In: Proc. Intl. Workshop on Software Engineering for Smart Cyber-Physical Systems.
ACM,
pp. 1–7,
doi:10.1145/2897035.2897042.
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi & Bashar Nuseibeh (2015):
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems.
In: Intl. Conf. on Software Engineering.
IEEE Computer Society,
pp. 729–732,
doi:10.1109/ICSE.2015.234.
Mark Weiser (1991):
The computer for the 21st century.
Scientific american 265(3),
pp. 94–104,
doi:10.1145/329124.329126.
eptcs@eptcs.org