A proof theory of asynchronously communicating sequential processes.

Frank S. de Boer Nissim Francez M. van Hulst Frank A. Stomp

Published in: PROCOMET (1998)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
machine learning
belief revision
reasoning problems
artificial intelligence