scientific article

DOI10.23638/LMCS-13(1:10)2017zbMATH Open1398.68124arXiv1610.02364MaRDI QIDQ2980974FDOQ2980974

Alberto Lluch Lafuente, Ximeng Li, Hanne Riis Nielson, Flemming Nielson, Xi Wu

Publication date: 8 May 2017

Full work available at URL: https://arxiv.org/abs/1610.02364

Title of this publication is not available (Why is that?)

zbMATH Keywords

distributiondatabasecoordination language

Mathematics Subject Classification ID

Database theory (68P15) Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Klava: a Java package for distributed and mobile applications
• A structural approach to operational semantics
• A relational model of data for large shared data banks
• Types and programing languages
• Toward a verified relational database management system
• From flow logic to static type systems for coordination languages
• A Coq Formalization of the Relational Data Model
• On the Power of Attribute-Based Communication
• Programming and Verifying Component Ensembles
• Information Flow Analysis for Valued-Indexed Data Security Compartments

Cited In (2)

• The COIL data mediator definition language
• Title not available (Why is that?)

Uses Software

• Klava
• KLAIM
• SCEL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980974)