KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
A distributed 3D graphics library
Proceedings of the 25th annual conference on Computer graphics and interactive techniques
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
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
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
Specification, analysis, and prototyping of mobile systems
Proceedings of the 21st international conference on Software engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Secrecy by typing in security protocols
Journal of the ACM (JACM)
Shape analysis for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Performance evaluation of mobility-based software architectures
Proceedings of the 2nd international workshop on Software and performance
Verifying safety properties of concurrent Java programs using 3-valued logic
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile agent security with the IPEditor development tool and the mobile UNITY language
Proceedings of the fifth international conference on Autonomous agents
Abstractions for mobile computations
Secure Internet programming
Type-safe execution of mobile agents in anonymous networks
Secure Internet programming
Types of specifications of access policies
Secure Internet programming
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Mobile agent-based compound documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
From rewrite rules to bisimulation congruences
Theoretical Computer Science
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
Parametric shape analysis via 3-valued logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A system architecture for pervasive computing
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Formal methods for distributed processing
PICCOLA---a small composition language
Formal methods for distributed processing
Language-based performance prediction for distributed and mobile systems
Information and Computation
Validating firewalls using flow logics
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Annals of Mathematics and Artificial Intelligence
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
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
The JavaSeal Mobile Agent Kernel
Autonomous Agents and Multi-Agent Systems
System Software for Ubiquitous Computing
IEEE Pervasive Computing
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Analysis of security protocols as open systems
Theoretical Computer Science
Portable implementation of continuation operators in imperative languages by exception handling
Advances in exception handling techniques
Context-Dependency in Internet-Agent Coordination
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
A Kleene Analysis of Mobile Ambients
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Control-Flow Analysis in Cubic Time
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A Query Language Based on the Ambient Logic
ESOP '01 Proceedings of the 10th 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
ESOP '02 Proceedings of the 11th 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
Ruling Agent Motion in Structured Environments
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
MATA '01 Proceedings of the Third International Workshop on Mobile Agents for Telecommunication Applications
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative 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
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
The Formal Structure of Ecological Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Mobile Computation: Calculus and Languages (A Tutorial)
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Programming the Mobility Behaviour of Agents by Composing Itineraries
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Safe Ambients: Control Flow Analysis and Security
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Spatial Congruence for Ambients Is Decidable
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Security Types for Mobile Safe Ambients
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Engineering Event-Based Systems with Scopes
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Lana: An Approach to Programming Autonomous Systems
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Mobility Types for Mobile Ambients
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Classification of Security Properties (Part I: Information Flow)
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
A Distributed Abstract Machine for Safe Ambients
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
P Systems with Gemmation of Mobile Membranes
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Fully Abstract Model for Higher-Order Mobile Ambients
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Types for Evolving Communication in Safe Ambients
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Validating Firewalls in Mobile Ambients
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Deriving Bisimulation Congruences for Reactive Systems
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
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Reasoning about Security in Mobile Ambients
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Typing Mobility in the Seal Calculus
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
Using Ambients to Control Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Typing and Subtyping Mobility in Boxed Ambients
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
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
Security Protocols and Specifications
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
Subtyping and Typing Algorithms for Mobile Ambients
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
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Communication Interference in Mobile Boxed Ambients
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
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
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Logical Interface Description Language for Components
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
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Compactly Representing First-Order Structures for Static Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Abstract Interpretation of Mobile Ambients
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
An Abstract Interpretation Framework for Analysing Mobile Ambients
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
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
Ambient Groups and Mobility Types
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
The Join Calculus: A Language for Distributed Mobile Programming
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
MA '01 Proceedings of the 5th International Conference on Mobile Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Extending Activity Diagrams to Model Mobile Systems
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Smart Environments: Middleware Building Blocks for Pervasive Network Computing (A Position Paper)
IMWS '01 Revised Papers from the NSF Workshop on Developing an Infrastructure for Mobile and Wireless Systems
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Bigraphs as a Model for Mobile Interaction
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Gemmating P systems: collapsing hierarchies
Theoretical Computer Science
Control flow analysis of mobile ambients with security boundaries
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Abstract interpretation of mobile ambients
Science of Computer Programming - Special issue on static analysis (SAS'99)
Coordination technologies for internet agents
Nordic Journal of Computing
Nordic Journal of Computing
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
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
Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
Flow logic: a multi-paradigmatic approach to static analysis
The essence of computation
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
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Access control for mobile agents: The calculus of boxed ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the expressiveness of pure safe ambients
Mathematical Structures in Computer Science
On abstract interpretation of mobile ambients
Information and Computation
The Knowledge Engineering Review
A Mobile Computational model for Internet programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science
Coordination and mobility in CoreLime
Mathematical Structures in Computer Science
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
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
Mobile Multi-Agent Systems: A Programming Language and Its Semantics
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
UML based modeling and performance analysis of mobile systems
MSWiM '04 Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for fault-tolerant global computing
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
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Elimination of spatial connectives in static spatial logics
Theoretical Computer Science - Expressiveness in concurrency
Checking security policies through an enhanced control flow analysis
Journal of Computer Security - Special issue on WITS'03
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
Axioms for bigraphical structure
Mathematical Structures in Computer Science
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
Pure bigraphs: structure and dynamics
Information and Computation
Static validation of security protocols
Journal of Computer Security
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Elimination of quantifiers and undecidability in spatial logics for concurrency
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
A framework for security analysis of mobile wireless networks
Theoretical Computer Science - Automated reasoning for security protocol analysis
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Information flow security in dynamic contexts
Journal of Computer Security
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Science of Computer Programming
Extensionality of Spatial Observations in Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Translating Mobile Ambients into P Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for mobile Java applications
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
Type-based cryptographic operations
Journal of Computer Security - Special issue on CSFW15
Strategies and simulations in a semantic framework
Journal of Algorithms
A semantic framework for open processes
Theoretical Computer Science
Describing the Immune System Using Enhanced Mobile Membranes
Electronic Notes in Theoretical Computer Science (ENTCS)
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Reusable mobile agents for cluster computing
International Journal of High Performance Computing and Networking
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Encoding Distributed Process Calculi into LMNtal
Electronic Notes in Theoretical Computer Science (ENTCS)
Access control in mobile ambient calculi: A comparative view
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
Automatic Verification of Strongly Dynamic Software Systems
Verified Software: Theories, Tools, Experiments
Engineering Societies in the Agents World VIII
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
Secure Data Flow in a Calculus for Context Awareness
Concurrency, Graphs and Models
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Automata on Multisets of Communicating Objects
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Flow-sensitive type systems and the ambient calculus
Higher-Order and Symbolic Computation
Saving Energy Consumption of Multi-robots Using Higher-Order Mobile Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Name Creation vs. Replication in Petri Net Systems
Fundamenta Informaticae - PETRI NETS 2007
Signed and weighted trust credentials in fraglets
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
A Multi-facet Approach to Dynamic Agent Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients
Proceedings of the 2009 ACM symposium on Applied Computing
Normal Bisimulations in Calculi with Passivation
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Science of Computer Programming
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
A Scalable Governance Model for Autonomic M-Commerce
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Support for M-Commerce Software Autonomy
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Flexible and Efficient Use of Robot Resources Using Higher-Order Mobile Agents
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
A Calculus for Distributed Firewall Specification and Verification
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Physical interaction in pervasive computing: formal modeling, analysis and verification
Proceedings of the 2009 international conference on Pervasive services
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
Flexible coordinator design for modeling resource sharing in multi-agent systems
Journal of Systems and Software
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Howe's Method for Calculi with Passivation
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
From Bialgebraic Semantics to Congruence Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
OverView: A Framework for Generic Online Visualization of Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Filter Model for Safe Ambients
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Integrity via CoPS and Banana: the E-Commerce Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Mobile Ambients in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Pure bigraphs: Structure and dynamics
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying safety properties of concurrent heap-manipulating programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
A process calculus for Mobile Ad Hoc Networks
Science of Computer Programming
Logical properties of name restriction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Message transferring model between mobile agents in multi-region mobile agent computing environment
HSI'03 Proceedings of the 2nd international conference on Human.society@internet
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Formalizing active networks security with seal-calculus
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
A core calculus for a comparative analysis of bio-inspired calculi
ESOP'07 Proceedings of the 16th European conference on Programming
Spatial security policies for mobile agents in a sentient computing environment
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A calculus for mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Type inference for a distributed π-calculus
ESOP'03 Proceedings of the 12th European conference on Programming
An unified framework for programming autonomous, intelligent and mobile agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Modeling dynamic software components in UML
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling static biological compartments with beta-binders
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Name creation vs. replication in Petri net systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Automated verification of security policies in mobile code
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A UML profile for modeling mobile information systems
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
On bisimulation proofs for the analysis of distributed abstract machines
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Mobile ambients with timers and types
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the reachability problem in P systems with mobile membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Journal of Systems and Software
A process calculus for mobile ad hoc networks
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Computational thinking in biology
Transactions on computational systems biology VIII
Verification of policy-based self-managed cell interactions using alloy
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Automata and processes on multisets of communicating objects
Natural Computing: an international journal
Expressiveness of generic process shape types
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A model of evolvable components
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Mobility in computer science and in membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
CMC'10 Proceedings of the 11th international conference on Membrane computing
Possibilities for formal models of smart environments
DNCOCO'10 Proceedings of the 9th WSEAS international conference on Data networks, communications, computers
Towards a proper aspect-oriented model for distributed systems
Proceedings of the tenth international conference on Aspect-oriented software development companion
Towards a robust model for distributed aspects
Proceedings of the 1st workshop on Modularity in systems software
Types for security in a mobile world
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Sound bisimulations for higher-order distributed process calculus
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Abstract machines for safe ambients in wide-area and mobile networks
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Characterizing contextual equivalence in calculi with passivation
Information and Computation
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
A bioambients based framework for chain-structured biomolecules modelling
CIS'04 Proceedings of the First international conference on Computational and Information Science
A protein substructure based p system for description and analysis of cell signalling networks
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Adaptive mobile multi-agent systems
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Event based service coordination over dynamic and heterogeneous networks
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Beyond bisimulation: the "up-to" techniques
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Planning in a distributed system
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
A parametric model for the analysis of mobile ambients
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Deploying π-calculus technology in Inter-organizational process
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
A system theory approach to the representation of mobile digital controllers agents
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Reactive framework for resource aware distributed computing
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
A layered semantics for mobile computation
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Structured coordination spaces for fault tolerant mobile agents
Advanced Topics in Exception Handling Techniques
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Termination in higher-order concurrent calculi
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A mobile agents platform: architecture, mobility and security elements
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Extending howe's method to early bisimulations for typed mobile embedded resources with local names
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Embeddings and contexts for link graphs
Formal Methods in Software and Systems Modeling
Using ambient in computational reflection semantics description
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Instant polymorphic type systems for mobile process calculi: just add reduction rules and close
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Mobile UML statecharts with localities
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
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Logical mobility and locality types
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Specifying a mobile computing infrastructure and services
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A distributed and mobile component system based on the ambient calculus
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
More principled design of pervasive computing systems
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
A correct abstract machine for safe ambients
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
A generic model for analyzing security protocols
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
Component-oriented programming with sharing: containment is not ownership
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Adjunct elimination through games in static ambient logic
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
Composition and decomposition of DPO transformations with borrowed context
ICGT'06 Proceedings of the Third international conference on Graph Transformations
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Proof methodologies for behavioural equivalence in DPI
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Symbolic semantics for the verification of security properties of mobile petri nets
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Measuring the speed of information leakage in mobile processes
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Formalising business process execution with bigraphs and reactive XML
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
The bisimulation proof method: enhancements and open problems
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Managing grid computations: an ORC-Based approach
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Observables for mobile and wireless broadcasting systems
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Weaving a fabric of socially aware agents
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Organization and mobility in mobile agent computing
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Artificial Intelligence
A Denotational Semantics for the π-Calculus
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
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
Behavioural typing for safe ambients
Computer Languages, Systems and Structures
Security boundaries in mobile ambients
Computer Languages, Systems and Structures
Nesting analysis of mobile ambients
Computer Languages, Systems and Structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
A Multi-facet Approach to Dynamic Agent Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Name Creation vs. Replication in Petri Net Systems
Fundamenta Informaticae - PETRI NETS 2007
Behavioural equivalences over migrating processes with timers
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Names, Equations, Relations: Practical Ways to Reason about new
Fundamenta Informaticae
Timers and proximities for mobile ambients
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Formalising security in ubiquitous and cloud scenarios
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Context Inference Engine (CiE): Inferring Context
International Journal of Advanced Pervasive and Ubiquitous Computing
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
| Hi-index | 0.01 |