TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Mathematical Structures in Computer Science
Concurrent nets: a study of prefixing in process calculi
Theoretical Computer Science - Expressiveness in concurrency
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
CCS with replication in the Chomsky hierarchy: the expressive power of divergence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Hi-index | 0.00 |