A trace-based model for multiparty contracts.

Tom Hvitved Felix Klaedtke Eugen Zalinescu

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

mathematical model
multi party
computational model
high level
probabilistic model
human computer interaction
parameter estimation
statistical model
conceptual model
management system
online learning
orders of magnitude
experimental data
search strategy
formal model