Algebraic posets, algebraic cpo's and models of concurrency

On the Yoneda completion of a quasi-metric space

Theoretical Computer Science

A truly concurrent semantics for a process algebra using resource pomsets

Theoretical Computer Science

Topological (Bi-)Simulation

Electronic Notes in Theoretical Computer Science (ENTCS)

Discrete random variables over domains

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming

Meet Precontinuous Posets

Electronic Notes in Theoretical Computer Science (ENTCS)