A knowledge-theoretic semantics for concurrent MetateM

Author(s):  
Michael Wooldridge

Sign in / Sign up

Export Citation Format

Share Document