@inproceedings(Anand2010,
 author       = "Manish Kumar Anand and Shawn Bowers and Bertram Lud\"{a}scher",
 year         = "2010",
 title        = "Techniques for efficiently querying scientific workflow provenance graphs",
 booktitle    = "EDBT '10",
 publisher    = "ACM",
 pages        = "287--298",
 doi          = "10.1145/1739041.1739078",
)
@article(Bizer2009,
 author       = "Christian Bizer and Tom Heath and Tim Berners-Lee",
 year         = "2009",
 title        = "{Linked Data} --- The Story So Far",
 journal      = "International Journal on Semantic Web and Information Systems",
 volume       = "5",
 number       = "3",
 pages        = "1--22",
 doi          = "10.4018/jswis.2009081901",
)
@incollection(Boudol1989,
 author       = "Gérard Boudol and Ilaria Castellani",
 year         = "1989",
 title        = "Permutation of transitions: An event structure semantics for {CCS} and {SCCS}",
 booktitle    = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency",
 series       = "Lecture Notes in Computer Science",
 volume       = "354",
 publisher    = "Springer",
 pages        = "411--427",
 doi          = "10.1007/BFb0013028",
)
@inproceedings(Buneman2006,
 author       = "Peter Buneman and Adriane Chapman and James Cheney",
 year         = "2006",
 title        = "Provenance management in curated databases.",
 booktitle    = "Proceedings of ACM SIGMOD International Conference on Management of Data",
 pages        = "539--550",
 doi          = "10.1145/1142473.1142534",
)
@article(Carroll2005,
 author       = "Jeremy J. Carroll and Christian Bizer and Pat Hayes and Patrick Stickler",
 year         = "2005",
 title        = "Named graphs",
 journal      = "Web Semantics: Science, Services and Agents on the World Wide Web",
 volume       = "3",
 number       = "4",
 pages        = "247--267",
 doi          = "10.1016/j.websem.2005.09.001",
)
@inproceedings(Cheney2010,
 author       = "James Cheney",
 year         = "2010",
 title        = "Causality and the Semantics of Provenance",
 booktitle    = "Developments in Computational Models",
 pages        = "63--74",
 doi          = "10.4204/EPTCS.26.6",
)
@article(Cheney2009,
 author       = "James Cheney and Laura Chiticariu and Wang-Chiew Tan",
 year         = "2009",
 title        = "Provenance in Databases: Why, How, and Where",
 journal      = "Found. Trends databases",
 volume       = "1",
 number       = "4",
 pages        = "379--474",
 doi          = "10.1561/1900000006",
)
@article(Dezani2012,
 author       = "Mariangiola Dezani and Ross Horne and Vladimiro Sassone",
 year         = "2012",
 title        = "Tracing where and who provenance in {Linked Data}: a calculus",
 journal      = "Theoretical Computer Science",
 doi          = "10.1016/j.tcs.2012.06.020",
)
@article(Gischer1988,
 author       = "Jay L. Gischer",
 year         = "1988",
 title        = "The equational theory of pomsets",
 journal      = "Theoretical Computer Science",
 volume       = "61",
 number       = "2-3",
 pages        = "199--224",
 doi          = "10.1016/0304-3975(88)90124-7",
)
@inproceedings(Green2007,
 author       = "Todd J. Green and Grigoris Karvounarakis and Val Tannen",
 year         = "2007",
 title        = "Provenance semirings",
 booktitle    = "PODS '07",
 publisher    = "ACM",
 pages        = "31--40",
 doi          = "10.1145/1265530.1265535",
)
@article(Guglielmi2007,
 author       = "Alessio Guglielmi",
 year         = "2007",
 title        = "A system of interaction and structure",
 journal      = "ACM Transactions on Compututational Logic",
 volume       = "8",
 doi          = "10.1145/1182613.1182614",
)
@article(Hoare2011,
 author       = "Tony Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman",
 year         = "2011",
 title        = "Concurrent {Kleene} Algebra and its Foundations",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "80",
 number       = "6",
 pages        = "266--296",
 doi          = "10.1016/j.jlap.2011.04.005",
)
@inproceedings(Horne2011,
 author       = "Ross Horne and Vladimiro Sassone",
 year         = "2011",
 title        = "A Verified Algebra for {Linked Data}",
 booktitle    = "FOCLASA",
 pages        = "20--33",
 doi          = "10.4204/EPTCS.58.2",
)
@inproceedings(Kobayashi1993,
 author       = "Naoki Kobayashi and Akinori Yonezawa",
 year         = "1993",
 title        = "{ACL} -- A Concurrent Linear Logic Programming Paradigm",
 booktitle    = "Proceedings of the 1993 International Logic Programming Symposium",
 publisher    = "MIT Press",
 pages        = "279--294",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.2776&rep=rep1&type=pdf",
)
@article(Moreau2011,
 author       = "Luc Moreau and Ben Clifford and Juliana Freire and Joe Futrelle and Yolanda Gil and Paul Groth and Natalia Kwasnikowska and Simon Miles and Paolo Missier and Jim Myers and Beth Plale and Yogesh Simmhan and Eric Stephan and Jan Van den Bussche",
 year         = "2011",
 title        = "The Open Provenance Model core specification (v1.1)",
 journal      = "Future Gener. Comput. Syst.",
 volume       = "27",
 number       = "6",
 pages        = "743--756",
 doi          = "10.1016/j.future.2010.07.005",
)
@article(Pratt1986,
 author       = "Vaughan Pratt",
 year         = "1986",
 title        = "Modeling concurrency with partial orders",
 journal      = "International Journal of Parallel Programming",
 volume       = "15",
 number       = "1",
 pages        = "33--71",
 doi          = "10.1007/BF01379149",
)
@article(Prisacariu2010,
 author       = "Cristian Prisacariu",
 year         = "2010",
 title        = "Synchronous {Kleene} algebra",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "79",
 number       = "7",
 pages        = "608--635",
 doi          = "10.1016/j.jlap.2010.07.009",
)
@inproceedings(Souilah2009,
 author       = "Issam Souilah and Adrian Francalanza and Vladimiro Sassone",
 year         = "2009",
 title        = "A Formal Model of Provenance in Distributed Systems",
 booktitle    = "Workshop on the Theory and Practice of Provenance",
 pages        = "1--11",
 url          = "http://static.usenix.org/events/tapp09/tech/full_papers/souilah/souilah.pdf",
)
@inproceedings(Valdes1979,
 author       = "Jacobo Valdes and Robert E. Tarjan and Eugene L. Lawler",
 year         = "1979",
 title        = "The recognition of Series Parallel digraphs",
 booktitle    = "STOC '79",
 publisher    = "ACM",
 pages        = "1--12",
 doi          = "10.1145/800135.804393",
)