Towards a Process Semantics in the Logic Programming Style.

Andrea Corradini, Ugo Montanari

Browse the full STACS paper archive.