On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Infinite computation, co-induction and computational logic
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Hi-index | 0.01 |