Transaction Logic with External Actions.

Ana Sofia Gomes, Jos Jlio Alferes

Browse the full LPNMR paper archive.