The use of name spaces in Plan 9
ACM SIGOPS Operating Systems Review
A taxonomy of issues in name systems design and implementation
ACM SIGOPS Operating Systems Review
A formal approach to determining parallel resource bindings: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
The use of name spaces in plan 9
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Formal methods for distributed processing
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
Notes on Nominal Calculi for Security and Mobility
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
ACM Transactions on Programming Languages and Systems (TOPLAS)
Faunus: a flexible middleware for specifying and managing multimodal, multiparty collaborations
Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference
Hi-index | 0.00 |