30 citations · 98 across the 16 of their papers we have counts for
3 papers · 1 filter
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarit…
Contract agreements via logic
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino +1
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning str…
An event-based model for contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna +1
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We est…