1
TITLE: Transaction Logic with (Complex) Events PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.3790
INDEXED IN: DBLP arXiv