A Middleware for Exactly-Once Semantics in Request-Response Interactions.

Naghmeh Ramezani Ivaki Filipe Araújo Raul Barbosa

Published in: PRDC (2012)

Keyphrases

formal semantics
low level
logic programming
object oriented
semantic information
default reasoning
model theoretic