A First Order Semantics of a Connective Suitable to Express Concurrency.

Pierpaolo Degano, Stefano Diomedi

Browse the full ICLP paper archive.