DMCA

Operational Semantics of Logical Concurrent Systems (1993)

by David Gilbert , Lubos Brim , Mojmir Kretinsky