A coordination language for databases
From MaRDI portal
Publication:2980974
Recommendations
Cites work
- A Coq formalization of the relational data model
- A coordination language for databases
- A relational model of data for large shared data banks
- A structural approach to operational semantics
- From flow logic to static type systems for coordination languages
- Information flow analysis for valued-indexed data security compartments
- Klava: a Java package for distributed and mobile applications
- On the Power of Attribute-Based Communication
- Programming and verifying component ensembles
- Toward a verified relational database management system
- Types and programing languages
Cited in
(3)
This page was built for publication: A coordination language for databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980974)