Denis Kuperberg

Denis Kuperberg

Contact Details

Name
Denis Kuperberg
Affiliation
Location

Pubs By Year

Pub Categories

 
Computer Science - Logic in Computer Science (2)

Publications Authored By Denis Kuperberg

Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive. Well-designed negotiations must be sound, meaning that, whatever its current state, the negotiation can still be completed. Read More

Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. The specificity of cost functions is that exact values are not considered, but only estimated. In this paper, we define an extension of Linear Temporal Logic (LTL) over finite words to describe cost functions. Read More