Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Evaluating distributed functional languages for telecommunications software
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
A theory of weak bisimulation for Core CML
Journal of Functional Programming
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Evaluating high-level distributed language constructs
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
| Hi-index | 0.00 |