ACM Transactions on Computational Logic (TOCL)
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Splitting bisimulations and retrospective conditions
Information and Computation
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |