A note on model checking the model &ngr;-calculus
Selected papers of the 16th international colloquium on Automata, languages, and programming
Local model checking in the modal mu-calculus
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
A calculus of mobile processes, II
Information and Computation
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Compositional Proof Systems for Model Checking Infinite State Processes
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Toward a Modal Theory of Types for the pi-Calculus
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
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
A foundation for actor computation
Journal of Functional Programming
Verification of Erlang programs using abstract interpretation and model checking
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
A semantics for distributed Erlang
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A more accurate semantics for distributed erlang
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Hi-index | 0.00 |