Independence-friendly modal logic and true concurrency
Nordic Journal of Computing
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
The Ground Tree Transducer Game with Identical Tree Automata
Fundamenta Informaticae
Defining distances for all process semantics
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
The Ground Tree Transducer Game with Identical Tree Automata
Fundamenta Informaticae
The Ground Tree Transducer Game
Fundamenta Informaticae
Hi-index | 0.00 |