Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of CCS Processes
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Verifying a Distributed Database Lookup Manager Written in Erlang
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Theorem Proving for Functional Programmers
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Semi-Automated Verification of Erlang Code
Proceedings of the 16th IEEE international conference on Automated software engineering
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
Hi-index | 0.00 |