Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Theoretical Computer Science
Series and Parallel Operations on Pomsets
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Domain equations for probabilistic processes
Mathematical Structures in Computer Science
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
| Hi-index | 5.23 |