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)
A debugging calculus for mobile ambients
Proceedings of the 2001 ACM symposium on Applied computing
Engineering mobile-agent applications via context-dependent coordination
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Bisimulation congruences in safe ambients
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards a primitive higher order calculus of broadcasting systems
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Types for the ambient calculus
Information and Computation - IFIP TCS2000
Describing semistructured data
ACM SIGMOD Record
Engineering Mobile Agent Applications via Context-Dependent Coordination
IEEE Transactions on Software Engineering
Review of the π-calculus: a theory of mobile processes
ACM SIGACT News
Hierarchical graph transformation
Journal of Computer and System Sciences
Engineering Infrastructures for Mobile Organizations
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Finite-Control Mobile Ambients
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative 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
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Complexity of Nesting Analysis in Mobile Ambients
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Complexity of Model Checking Mobile Ambients
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Abstract Interpretation-Based Static Analysis of Mobile Ambients
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Modelling Service-Providing Location-Based E-communities and the Impact of User Mobility
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
The Decidability of Model Checking Mobile Ambients
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Validating a Web service security abstraction by typing
Proceedings of the 2002 ACM workshop on XML security
IEEE Transactions on Parallel and Distributed Systems
Fundamenta Informaticae - Concurrency specification and programming
Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
Theoretical Computer Science
Model checking mobile ambients
Theoretical Computer Science
Equational properties of mobile ambients
Mathematical Structures in Computer Science
A survey of coordination middleware for XML-centric applications
The Knowledge Engineering Review
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Data & Knowledge Engineering - Special jubilee issue: DKE 50
An extended logic programming based multi-agent system formalization in mobile environments
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the expressive power of movement and restriction in pure mobile ambients
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
On the computational strength of pure ambient calculi
Theoretical Computer Science - Expressiveness in concurrency
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
A brief history of process algebra
Theoretical Computer Science - Process algebra
Behavioral theory for mobile ambients
Journal of the ACM (JACM)
Communication and mobility control in boxed ambients
Information and Computation
A bisimulation-based semantic theory of Safe Ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multi-agent system for mobile environments
Intelligent information processing II
BASS: boxed ambients with safe sessions
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
A CPS encoding of name-passing in higher-order mobile embedded resources
Theoretical Computer Science - Expressiveness in concurrency
Name-passing in an ambient-like calculus and its proof using spatial logic
Theoretical Computer Science - Expressiveness in concurrency
Leader election in rings of ambient processes
Theoretical Computer Science - Expressiveness in concurrency
Role-based access control for a distributed calculus
Journal of Computer Security - Special issue on CSFW17
WSC '05 Proceedings of the 37th conference on Winter simulation
Proceedings of the 5th international conference on Generative programming and component engineering
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
When ambients cannot be opened
Theoretical Computer Science - Foundations of software science and computation structures
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
Confining data and processes in global computing applications
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science - Algebra and coalgebra in computer science
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Space-aware ambients and processes
Theoretical Computer Science
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Active Evaluation Contexts for Reaction Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Virtual Organizations in Arigatoni
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating mobile agents in interaction spaces
Science of Computer Programming
Implementing a Distributed Mobile Calculus Using the IMC Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
What is a free name in a process algebra?
Information Processing Letters
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
On Reachability and Spatial Reachability in Fragments of BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An exercise in structural congruence
Information Processing Letters
PML: Toward a High-Level Formal Language for Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Basic observables for a calculus for global computing
Information and Computation
Information and Computation
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
Symmetric electoral systems for ambient calculi
Information and Computation
Matching Systems for Concurrent Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
A Static Analysis for Beta-Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Information flow security in Boundary Ambients
Information and Computation
Types for ambient and process mobility†
Mathematical Structures in Computer Science
XPi: A typed process calculus for XML messaging
Science of Computer Programming
Expressiveness Issues in Brane Calculi: A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Role-based access control for boxed ambients
Theoretical Computer Science
Comparing communication primitives via their relative expressive power
Information and Computation
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
Theoretical Computer Science
A simple calculus for proteins and cells
Theoretical Computer Science
Timed Mobile Ambients for Network Protocols
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
On Beta-Binders Communications
Concurrency, Graphs and Models
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A Decentralized Implementation of Mobile Ambients
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Network Applications of Graph Bisimulation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Intracellular Fate of FGF Receptors With BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Software-Intensive Systems and New Computing Paradigms
Reachability Analysis in BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising CCS bisimulation using graph rewriting
Information and Computation
A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC
IEICE - Transactions on Information and Systems
Reactive Systems, Barbed Semantics, and the Mobile Ambients
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
Minimization Algorithm for Symbolic Bisimilarity
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
On the Relative Expressive Power of Ambient-Based Calculi
Trustworthy Global Computing
Formal Aspects in Security and Trust
A Distributed Computational Model for Mobile Agents
Agent Computing and Multi-Agent Systems
Computer Languages, Systems and Structures
Deciding Reachability in Mobile Ambients with Name Restriction
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
A freight management system with the ambient calculus
TELE-INFO'09 Proceedings of the 8th Wseas international conference on Telecommunications and informatics
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidable Fragments of a Higher Order Calculus with Locations
Electronic Notes in Theoretical Computer Science (ENTCS)
Counting the Cost in the Picalculus (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
Parametrised Constants and Replication for Spatial Mobility
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
On the Relative Expressive Power of Calculi for Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional theory for STM Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
On the Expressiveness of Forwarding in Higher-Order Communication
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
A computational framework for modelling multicellular biochemistry
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Rational Unification in 28 Characters
Electronic Notes in Theoretical Computer Science (ENTCS)
Tarzan: Communicating and Moving in Wireless Jungles
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Assignement for Mobile Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Flow-sensitive Leakage Analysis in Mobile Ambients
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Approach to Security in the Context of Ambient Calculus
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)
Splitting Mobility and Communication in Boxed Ambients
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Model for Spatial Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication and mobility control in boxed ambients
Information and Computation
Deciding reachability problems in turing-complete fragments of mobile ambients
Mathematical Structures in Computer Science
On the expressiveness of interaction
Theoretical Computer Science
Hybrid logical analyses of the ambient calculus
Information and Computation
A biochemical approach to adaptive service ecosystems
Information Sciences: an International Journal
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
When ambients cannot be opened
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
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
Replication vs. recursive definitions in channel based calculi
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Bisimulation proof methods for mobile ambients
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A spatio-temporal logic for the specification and refinement of mobile systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
SoftwarePot: an encapsulated transferable file system for secure software circulation
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
BANANA: a tool for boundary ambients nesting analysis
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Deducing interactions in partially unspecified biological systems
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Hybrid logical analyses of the ambient calculus
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Automated verification of security policies in mobile code
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
The calculus of looping sequences
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
π@: 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
Formalizing higher-order mobile embedded business processes with binding bigraphs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
How to infer finite session types in a calculus of services and sessions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
An algebraic approach to image schemas for geographic space
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Abstract interpretation based verification of temporal properties for BioAmbients
Information and Computation
Can we certify systems for freedom from malware
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Science of Computer Programming
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Deriving structural labelled transitions for mobile ambients
Information and Computation
A pure labeled transition semantics for the applied pi calculus
Information Sciences: an International Journal
Formalising policies of a mLearning system using CCA
Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Model checking of location and mobility related security policy specifications in ambient calculus
MMM-ACNS'10 Proceedings of the 5th international conference on Mathematical methods, models and architectures for computer network security
A middleware architecture for safety critical ambient intelligence applications
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Formal Specification and Verification of Ubiquitous and Pervasive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Multiset rewriting: a semantic framework for concurrency with name binding
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Saturated LTSs for adhesive rewriting systems
ICGT'10 Proceedings of the 5th international conference on Graph transformations
LTS semantics for process calculi from their graphical encodings
ICGT'10 Proceedings of the 5th international conference on Graph transformations
On the expressiveness of the π-calculus and the mobile ambients
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Effectiveness of Physical, Social and Digital Mechanisms against Laptop Theft in Open Organizations
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
The Calculus of Context-aware Ambients
Journal of Computer and System Sciences
Types for security in a mobile world
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
History-based access control for distributed processes
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A distributed object-oriented language with session types
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Vistas: towards behavioural cloud control
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
Hunting distributed malware with the κ-calculus
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Spatial Calculus of Looping Sequences
Theoretical Computer Science
A timed calculus for wireless systems
Theoretical Computer Science
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Formalizing the environment view of process equivalence
CIS'04 Proceedings of the First international conference on Computational and Information Science
A case study in (mem)brane computation: generating squares of natural numbers
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Scenario-Based programming for ubiquitous applications
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A new occurrence counting analysis for bioambients
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Reachability analysis in boxed ambients
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Deciding behavioural properties in brane calculi
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
On the computational power of the mate/bud/drip brane calculus: interleaving vs. maximal parallelism
WMC'05 Proceedings of the 6th international conference on Membrane Computing
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
Reachability analysis of mobile ambients in fragments of AC term rewriting
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A timed calculus for wireless systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Non-disclosure for distributed mobile code
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Deciding reachability in mobile ambients
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
XPi: a typed process calculus for XML messaging
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Model checking biological systems described using ambient calculus
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Hermes: agent-based middleware for mobile computing
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Towards a coalgebraic semantics of the ambient calculus
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Concurrent rewriting for graphs with equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Analyzing security protocols in hierarchical networks
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
A mobility calculus with local and dependent types
Processes, Terms and Cycles
An analysis for proving temporal properties of biological systems
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Ao dai: agent oriented design for ambient intelligence
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Towards a general theory of barbs, contexts and labels
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Theoretical Computer Science
Reachability problems in BioAmbients
Theoretical Computer Science
A component model for the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Multiset rewriting for the verification of depth-bounded processes with name binding
Information and Computation
Nesting analysis of mobile ambients
Computer Languages, Systems and Structures
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A Higher-Order Distributed Calculus with Name Creation
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Coordinating parallel mobile ambients to solve SAT problem in polynomial number of steps
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
P- and t-systems in the nets-within-nets-formalism
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A timed mobility semantics based on rewriting strategies
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Formal verification of security preservation for migrating virtual machines in the cloud
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
A modular LTS for open reactive systems
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Formal verification of context and situation models in pervasive computing
Pervasive and Mobile Computing
A formal role-based access control model for security policies in multi-domain mobile networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People
Mobile Networks and Applications
Combined model checking for temporal, probabilistic, and real-time logics
Theoretical Computer Science
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 5.24 |