scientific article

DOI10.23638/LMCS-13(1:10)2017zbMath1398.68124arXiv1610.02364MaRDI QIDQ2980974

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

databasedistributioncoordination language

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Uses Software

• Klava
• KLAIM
• SCEL

Cites Work

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

This page was built for publication: