Combinatory representation of mobile processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Behavioral equivalence in the polymorphic pi-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combinatory formulations of concurrent languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
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)
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation congruences in safe ambients
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulations in the join-calculus
Theoretical Computer Science
From rewrite rules to bisimulation congruences
Theoretical Computer Science
Information and Computation
Formal methods for distributed processing
Inheritance in concurrent objects
Formal methods for distributed processing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative objects as mobile processes
Science of Computer Programming
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
A Broadcast-based Calculus for Communicating Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Region Analysis and a pi-Calculus wiht Groups
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Weakest Congruence Results Concerning "Any-Lock"
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
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
On Bisimulations for the Spi Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Notes on Nominal Calculi for Security and Mobility
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Open Bisimulations on Chi Processes
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
On Barbed Equivalences in pi-Calculus
CONCUR '01 Proceedings of the 12th 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
Locality and Polyadicity in Asynchronous Name-Passing Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Compositional Reasoning in the Spi-calculus
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
An Interpretation of Typed Concurrent Objects in the Blue Calculus
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
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
A Simple View of Type-Secure Information Flow in the "-Calculus
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Bisimulation congruence of ℵ-calculus
Information and Computation
Deriving bisimulation congruences using 2-categories
Nordic Journal of Computing
Theoretical Computer Science
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
Region analysis and a π-calculus with groups
Journal of Functional Programming
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science
On bisimulations for the spi calculus
Mathematical Structures in Computer Science
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
Theoretical Computer Science
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
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)
Name-passing in an ambient-like calculus and its proof using spatial logic
Theoretical Computer Science - Expressiveness in concurrency
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Information and Computation
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science - Algebra and coalgebra in computer science
Space-aware ambients and processes
Theoretical Computer Science
An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Extensionality of Spatial Observations in Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Basic observables for a calculus for global computing
Information and Computation
Information and Computation
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
Formalising Java RMI with explicit code mobility
Theoretical Computer Science
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Types for ambient and process mobility†
Mathematical Structures in Computer Science
XPi: A typed process calculus for XML messaging
Science of Computer Programming
Comparing communication primitives via their relative expressive power
Information and Computation
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Abstract Semantics by Observable Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Behaviour Equivalences in Timed Distributed π -Calculus
Software-Intensive Systems and New Computing Paradigms
Theoretical Computer Science
Mobility control via passports
Information and Computation
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
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
On the Relative Expressive Power of Ambient-Based Calculi
Trustworthy Global Computing
Barbed congruence of asymmetry and mismatch
Journal of Computer Science and Technology
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
Electronic Notes in Theoretical Computer Science (ENTCS)
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Making the Unobservable, Unobservable
Electronic Notes in Theoretical Computer Science (ENTCS)
On Observing Dynamic Prioritised Actions in SOC
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
Encoding Asynchronous Interactions Using Open Petri Nets
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
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication and mobility control in boxed ambients
Information and Computation
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
On the expressiveness of interaction
Theoretical Computer Science
Bisimulation proof methods for mobile ambients
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
A calculus for mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
ESOP'03 Proceedings of the 12th European conference on Programming
Deriving bisimulation congruences with borrowed contexts
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
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
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
On the expressiveness and decidability of higher-order process calculi
Information and Computation
Saturated LTSs for adhesive rewriting systems
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Model independent order relations for processes
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Deriving labels and bisimilarity for concurrent constraint programming
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 probabilistic energy-aware model for mobile ad-hoc networks
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
A timed calculus for wireless systems
Theoretical Computer Science
Behavioral theory for session-oriented calculi
Rigorous software engineering for service-oriented systems
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
A Resource Analysis of the π-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Formalizing the environment view of process equivalence
CIS'04 Proceedings of the First international conference on Computational and Information Science
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
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
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A timed calculus for wireless systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A calculus of trustworthy ad hoc networks
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
On the bisimulation congruence in χ-calculus
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Congruence for structural congruences
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A correct abstract machine for safe ambients
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Linking theories of concurrency
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Observables for mobile and wireless broadcasting systems
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Process algebra: a unifying approach
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Linking theories of concurrency
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
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
Partition refinement for bisimilarity in CCP
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Deriving bisimulation congruences for conditional reactive systems
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Evaluating resistance to jamming and casual interception in mobile wireless networks
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Mobility control via passports
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On distributability in process calculi
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Efficient computation of program equivalence for confluent concurrent constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems
Symbolic bisimulation for a higher-order distributed language with passivation
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Behavioural equivalences and interference metrics for mobile ad-hoc networks
Performance Evaluation
| Hi-index | 0.02 |