ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Contextual Labelled Semantics for Higher-order Process Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Hi-index | 0.00 |