Piotr Dembinski Semantics of Times Concurrent Systems. 27-50 1997 29 Fundam. Inform. 1-2 db/journals/fuin/fuin29.html#Dembinski97