Three logics for branching bisimulation
Journal of the ACM (JACM)
An Adequate Logic for Full LOTOS
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Hi-index | 0.00 |