2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.DB2014★ 1 cited
Semantics and Validation of Shapes Schemas for RDF
Iovka Boneva, Jose Emilio Labra Gayo, Eric G. Prud'hommeau
We present a formal semantics and proof of soundness for shapes schemas, an expressive schema language for RDF graphs that is the foundation of Shape Expressions Language 2.0. It c…
cs.PL2009★ 2 cited
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…