Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
A Game-Theoretic Model for Distributed Programming by Contract
Anders Starcke Henriksen, Tom Hvitved,
Andrzej Filinski
Department of Computer Science
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Game-Theoretic Model for Distributed Programming by Contract'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Theoretic Model
100%
Distributed Programming
100%
Distributed Environment
100%
Theoretic Formulation
50%
Interaction Process
50%
Model Decomposition
50%
Adversarial Model
50%
Classical Programming
50%
Keyphrases
Programming by Contract
100%
Distributed Programming
100%
Distributed Environment
66%
Adversarial Model
33%
System Integration
33%
Compositional Reasoning
33%
Process Interaction
33%
Decomposition Model
33%