A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An implementation of complete, asynchronous, distributed garbage collection
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
Trust and partial typing in open systems of mobile agents
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modules, abstract types, and distributed versioning
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for mobile computations
Secure Internet programming
Type-safe execution of mobile agents in anonymous networks
Secure Internet programming
A debugging calculus for mobile ambients
Proceedings of the 2001 ACM symposium on Applied computing
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Bisimulations in the join-calculus
Theoretical Computer Science
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Resource access control in systems of mobile agents
Information and Computation
Formal methods for distributed processing
Formal methods for distributed processing
Language-based performance prediction for distributed and mobile systems
Information and Computation
Information and Computation
Dynamic connectors for concurrency
Theoretical Computer Science
Information flow vs. resource access in the asynchronous pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Secure implementation of channel abstractions
Information and Computation
Mobile calculi for distributed programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
A survey of theories for mobile agents
World Wide Web
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
What Are Polymorphically-Typed Ambients?
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Finite State Verification for the Asynchronous pi-Calculus
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reasoning about Security in Mobile Ambients
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Using Ambients to Control Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Top-Down Look at a Secure Message
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Inheritance in the Join Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Coordination Model Agents Based on Secure Spaces
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobiS: A Specification Language for Mobile Systems
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobileML: A Programming Language for Mobile Computation
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Asynchronous, Distributed Implementation of Mobile Ambients
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
A Higher-Order Specification of the pi-Calculus
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Mobility and Coordination for Distributed Java Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
Axiomatising Asynchronous Process Calculi (abstract)
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
A pi-calculus Model of a Spanish Fish Market - Preliminary Report
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Secure Composition of Insecure Components
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
Fundamenta Informaticae - Concurrency specification and programming
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic rebinding for marshalling and update, with destruct-time ?
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Access control for mobile agents: The calculus of boxed ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Automated Software Engineering
A model of runtime transformation for distributed systems based on directed acyclic graph model
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Pigeon: A Specification Language for Mobile Agent Applications
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science - Special issue: Foundations of wide area network computing
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
Acute: high-level programming language design for distributed computation
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Information and Computation
A theory of system behaviour in the presence of node and link failures
CONCUR 2005 - Concurrency Theory
Safe ambients: abstract machine and distributed implementation
Science of Computer Programming
Building and Selecting Mobile Agents for Network Management
Journal of Network and Systems Management
A formal model of concurrent systems based on bipartite directed acyclic graph
Science of Computer Programming - Special issue on quality system and software architectures
Proceedings of the 5th international conference on Generative programming and component engineering
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating mobile agents in interaction spaces
Science of Computer Programming
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
Implementing a Distributed Mobile Calculus Using the IMC Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
Basic observables for a calculus for global computing
Information and Computation
Ott: effective tool support for the working semanticist
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Type-safe higher-order channels in ML-like languages
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A comparative evaluation of three mobile languages
Mobility '06 Proceedings of the 3rd international conference on Mobile technology, applications & systems
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Reusable mobile agents for cluster computing
International Journal of High Performance Computing and Networking
A theory of system behaviour in the presence of node and link failure
Information and Computation
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
Agent Environment and Knowledge in Distributed Join Calculus
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
SuMo: A Framework for Prototyping Distributed and Mobile Software
ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
A Specification Framework for Earth-Friendly Logistics
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Theoretical Computer Science
Asynchronous sequential processes
Information and Computation
MA-UML: a conceptual approach for mobile agents' modelling
International Journal of Agent-Oriented Software Engineering
Type-safe higher-order channels with channel locality1
Journal of Functional Programming
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Software Platform for Timed Mobility and Timed Interaction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Formalizing active networks security with seal-calculus
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
A fault tolerance bisimulation proof for consensus
ESOP'07 Proceedings of the 16th European conference on Programming
Type inference for a distributed π-calculus
ESOP'03 Proceedings of the 12th European conference on Programming
Automated verification of security policies in mobile code
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Science of Computer Programming
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Scalable message routing for mobile software assistants
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Deploying π-calculus technology in Inter-organizational process
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
An abstract machine for the kell calculus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
An ontology for mobile agents in the context of formal verification
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Encoding CDuce in the Cπ-calculus
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Scalable remote attestation with privacy protection
INTRUST'09 Proceedings of the First international conference on Trusted Systems
OO-motivated process algebra: a calculus for CORBA-like systems
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Orderly communication in the Ambient Calculus
Computer Languages, Systems and Structures
Join token-based event handling: a comprehensive framework for game programming
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
| Hi-index | 0.01 |