An Adequate Logic for Full LOTOS
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Model checking real-time value-passing systems
Journal of Computer Science and Technology
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Fast generic model-checking for data-based systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |