A Modal Calculus of Partially Ordered Events in a Logic Programming Framework

Cervesato I

CHITTARO, Luca

MONTANARI, Angelo