Q2980974
type: Item
instance of: scholarly article
zbMATH Open document ID: 1398.68124
DOI: 10.23638/LMCS-13(1:10)2017
author: Ximeng Li
author: Xi Wu
author: Alberto Lluch Lafuente
author: Flemming Nielson
author: Hanne Riis Nielson
publication date: 2017-05-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/1610.02364
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 6712186
zbMATH Keywords: coordination language
zbMATH Keywords: database
zbMATH Keywords: distribution
describes a project that uses: KLAIM
describes a project that uses: SCEL
describes a project that uses: Klava
MaRDI profile type: MaRDI publication profile
arXiv ID: 1610.02364
cites work: On the Power of Attribute-Based Communication
cites work: A Coq Formalization of the Relational Data Model
cites work: Klava: a Java package for distributed and mobile applications
cites work: A relational model of data for large shared data banks
cites work: From flow logic to static type systems for coordination languages
cites work: Programming and Verifying Component Ensembles
cites work: Information Flow Analysis for Valued-Indexed Data Security Compartments
cites work: Toward a verified relational database management system
cites work: Types and programing languages
cites work: A structural approach to operational semantics
description: scientific article