Behavioural typing for objects and process calculi
Formal methods for distributed processing
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
An Algebra of Behavioural Types
Information and Computation
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |