A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trust and partial typing in open systems of mobile agents
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
A fine-grained model for code mobility
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstractions for mobile computations
Secure Internet programming
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Bisimulations in the join-calculus
Theoretical Computer Science
Distributed processes and location failures
Theoretical Computer Science
Resource access control in systems of mobile agents
Information and Computation
Formal methods for distributed processing
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A survey of theories for mobile agents
World Wide Web
Types for the ambient calculus
Information and Computation - IFIP TCS2000
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Mobility Types for Mobile Ambients
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
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
Typing Non-uniform Concurrent Objects
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
Equational Properties of Mobile Ambients
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
Locality and Polyadicity in Asynchronous Name-Passing Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Static Analysis of Processes for No and Read-Up nad No Write-Down
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
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Secure Composition of Insecure Components
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Automated Software Engineering
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Information and Computation
A theory of system behaviour in the presence of node and link failures
CONCUR 2005 - Concurrency Theory
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Information and Computation
Type-safe higher-order channels in ML-like languages
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Type-based cryptographic operations
Journal of Computer Security - Special issue on CSFW15
A theory of system behaviour in the presence of node and link failure
Information and Computation
Type-safe higher-order channels with channel locality1
Journal of Functional Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A typed calculus for querying distributed XML documents
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Safety versus security in the quality calculus
Theories of Programming and Formal Methods
Hi-index | 0.00 |