Types of specifications of access policies
Secure Internet programming
Behavioural typing for objects and process calculi
Formal methods for distributed processing
A type system for lock-free processes
Information and Computation - IFIP TCS2000
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Implicitly-Typed Deadlock-Free Process Calculus
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reasoning About Concurrent Systems Using Types
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
An Algebra of Behavioural Types
Information and Computation
Static safety for an actor dedicated process calculus by abstract interpretation
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
| Hi-index | 0.00 |