Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Hi-index | 0.00 |