Register-machine based processes
Journal of the ACM (JACM)
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing - Special issue: Specification of concurrent systems
A finite equational base for CCS with left merge and communication merge
ACM Transactions on Computational Logic (TOCL)
A Higher-Order Iterative Path Ordering
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A finite equational base for CCS with left merge and communication merge
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
| Hi-index | 0.01 |