Local model checking for context-free processes
Nordic Journal of Computing
The power of reachability testing for timed automata
Theoretical Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A model-checking tool for families of services
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Decompositional reasoning about the history of parallel processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Incremental, inductive CTL model checking
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |