Samson Abramsky, Simon Gay & Rajagopal Nagarajan (1995):
Interaction Categories and the Foundations of Typed Concurrent Programming.
In: Manfred Broy: Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany.
Springer,
pp. 35–114.
Harith Alani (2002):
Managing Reference: Ensuring Referential Integrity of Ontologies for the Semantic Web.
In: Gómez-Pérez: Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web 2473.
Springer,
pp. 235–246,
doi:10.1007/3-540-45810-7_29.
G. Bellin & P. J. Scott (1994):
On the π-Calculus and Linear Logic.
Theoretical Computer Science 135,
pp. 11–65,
doi:10.1016/0304-3975(94)00104-9.
Paul V. Biron & Ashok Malhotra (2004):
XML Schema part 2: Datatypes Second Edition.
W3C,
MIT, Cambridge, MA.
REC-xmlschema-2-20041028.
Stefano Bistarelli, Ugo Montanari & Francesca Rossi (1997):
Semiring-Based Constraint Satisfaction and Optimization.
Journal of the ACM 44(2),
pp. 201–236,
doi:10.1145/256303.256306.
Christian Bizer (2009):
The Emerging Web of Linked Data.
IEEE Intelligent Systems 24,
pp. 87–92,
doi:10.1109/MIS.2009.102.
Dan Brickley & R.V. Guha (2004):
RDF Vocabulary Description Language 1.0: RDF Schema.
W3C,
MIT, Cambridge, MA.
REC-rdf-schema-20040210.
Richard Cyganiak (2005):
A relational algebra for SPARQL.
Hewlit Packard Labs,
Bristol.
HPL-2005-170.
Jean-Yves Girard (1987):
Linear Logic.
Theoretical Computer Science 50(1),
pp. 1–112,
doi:10.1016/0304-3975(87)90045-4.
Steve Harris, Andy Seaborne & Eric Prud'hommeaux (2010):
SPARQL 1.1 Query Language.
W3C,
MIT, Cambridge, MA.
WD-sparql11-query-20101014.
Olaf Hartig (2009):
Executing SPARQL Queries over the Web of Linked Data.
In: A. Bernstain: The Semantic Web – ISWC 2009, Chantilly, VA 5823.
Springer,
pp. 293–309,
doi:10.1007/978-3-642-04930-9_19.
C. A. R. Tony Hoare, Bernhard Möller, Georg Struth & Ian Wehrman (2009):
Concurrent Kleene Algebra.
In: Mario Bravetti & Gianluigi Zavattaro: CONCUR 2009, Bologna, Italy 5710.
Springer,
pp. 399–414,
doi:10.1007/978-3-642-04081-8_27.
Joshua S. Hodas & Dale Miller (1994):
Logic Programming in a Fragment of Intuitionistic Linear Logic.
Information and Computation 110(2),
pp. 327–365.
Ross Horne (2011):
Programming Languages and Principles for Read–Write Linked Data.
Electronics and Computer Science, University of Southampton.
Alan Jeffrey & Julian Rathke (2005):
Contextual equivalence for higher-order π-calculus revisited.
Logical Methods in Computer Science 1(4),
pp. 1–22,
doi:10.2168/LMCS-1(1:4)2005.
Graham Klyne & Jeremy Carroll (2004):
Resource Description Framework: Concepts and Abstract Syntax.
W3C,
MIT, Cambridge, MA.
REC-rdf-concepts-20040210.
Naoki Kobayashi & Akinori Yonezawa (1993):
ACL – A Concurrent Linear Logic Programming Paradigm.
In: Proceedings of the 1993 International Logic Programming Symposium.
MIT Press,
pp. 279–294.
Dexter Kozen (1990):
On Kleene algebras and Closed Semirings.
In: Rovan: Proceedings on Mathematical Foundations of Computer Science 452.
Springer-Verlag,
pp. 26–47.
Dexter Kozen (1994):
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events.
Information and Computation 110,
pp. 366–390,
doi:10.1006/inco.1994.1037.
Dexter Kozen (1997):
Kleene algebra with tests.
ACM Transactions on Programing Languages and Systems 19,
pp. 427–443,
doi:10.1145/256167.256195.
Massimo Merro & Matthew Hennessy (2002):
Bisimulation congruences in safe ambients.
In: Principles of programming languages.
ACM,
pp. 71–80,
doi:10.1145/503272.503280.
Robin Milner, Joachim Parrow & David Walker (1992):
A calculus of mobile processes, part I and II.
Information and Computation 100(1),
pp. 1–40,
doi:10.1016/0890-5401(92)90008-4.
Jorge Pérez, Marcelo Arenas & Claudio Gutierrez (2009):
Semantics and Complexity of SPARQL.
ACM Transactions on Database Systems 34(3),
pp. 1–45,
doi:10.1145/1567274.1567278.
Eric Prud'hommeaux & Andy Seaborne (2008):
SPARQL Query Language for RDF.
W3C,
MIT, Cambridge, MA.
REC-rdf-sparql-query-20080115.
V. N. Redko (1964):
On defining relations for the algebra of regular events.
Ukrainskii Matematicheskii Zhurnal,
pp. 120–126.
eptcs@eptcs.org