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 trace-based model for multiparty contracts
Tom Hvitved, Felix Klaedtke, Eugen Zălinescu
Department of Computer Science
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A trace-based model for multiparty contracts'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Assignment
18%
Commitment
13%
History
9%
Model
40%
Monitor
11%
Operational Semantics
25%
Specification Languages
14%
Template
12%
Temporal Constraints
16%
Trace
100%
Engineering & Materials Science
Semantics
14%
Specification languages
11%