Coordination in Networked Organizations: the Paradigm Approach
Retractions in Comparing Prolog Semantics
Comparative Semantics for Prolog with Cut
Full Abstractness of an Interleaving Semantics for Action Refinement
Continuation Semantics for PROLOG with Cut
An Order-theoretic Process Domain
Equivalence of an Operational and a Denotational Semantics for a Prolog-like Language with Cut
On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks
Concurrency Semantics Applied to Logic Programming
Metric Predicate Transformaters
Denotational Semantics for 'true' Concurrency
Applications of Compactness in the Smyth Powerdomain of Streams
Mixing Up Nondeterminism and Probability
On the Relating Denotational and Operational Semantics for Programming Languages with Recursion and Concurrency
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement
Asynchronous Rendez-vous in Distributed Logic Programming
Virtual Analysis and Reduction of Side-channel Vulnerabilities of Smartcards
Taking Chances on || and Fail: Extending Strong and Probabilistic Bisimulation
Transition System Specifications in Stalk Format with Bisimulation as a Congruence
Asynchronous Rendez-vous in the Presence of Backtracking