Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Bisimulations in the join-calculus
Theoretical Computer Science
Distributed processes and location failures
Theoretical Computer Science
Trace and testing equivalence on asynchronous processes
Information and Computation
Inheritance in concurrent objects
Formal methods for distributed processing
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Finite State Verification for the Asynchronous pi-Calculus
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Typing Non-uniform Concurrent Objects
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
Probabilistic Asynchronous pi-Calculus
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
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
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
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Axiomatising Asynchronous Process Calculi (abstract)
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Theoretical Computer Science
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 randomized encoding of the π-calculus with mixed choice
Theoretical Computer Science - Process algebra
Behavioral theory for mobile ambients
Journal of the ACM (JACM)
A bisimulation-based semantic theory of Safe Ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
Classification of security properties in a Linda-like process algebra
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Basic observables for a calculus for global computing
Information and Computation
Information and Computation
Type-based cryptographic operations
Journal of Computer Security - Special issue on CSFW15
Free-algebra models for the π -calculus
Theoretical Computer Science
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Comparing communication primitives via their relative expressive power
Information and Computation
Checking Correctness of Transactional Behaviors
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
A Symbolic Semantics for a Calculus for Service-Oriented Computing
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
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Global Coordination Policies for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Privacy in Tuple Space Based Mobile Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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 concurrent calculus with atomic transactions
ESOP'07 Proceedings of the 16th European conference on Programming
ESOP'03 Proceedings of the 12th European conference on Programming
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
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
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
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
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Typed processes in untyped contexts
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
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
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
Dynamic policy discovery with remote attestation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
History-dependent automata: an introduction
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 unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Toward design, modelling and analysis of dynamic workflow reconfigurations
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Globally governed session semantics
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 5.23 |