Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Observation Based System Security
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Gained and Excluded Private Actions by Process Observations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Observation Based System Security
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Process Algebras for Network Communication
Fundamenta Informaticae
Parameterized Structured Operational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |