Transaction Logic with (Complex) Events

Authors

Sofia Gomes, Michael Leuschel, José Júlio Alferes, Tom Schrijvers,