CPO semantics of timed interactive actor networks
Theoretical Computer Science
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
| Hi-index | 5.23 |