Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Control-Flow Analysis for a Calculus of Concurrent Objects
IEEE Transactions on Software Engineering
Mobile values, new names, and secure communication
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
Modules, abstract types, and distributed versioning
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the generalized dining philosophers problem
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Formal methods for distributed processing
Behavioural typing for objects and process calculi
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
Primitives for authentication in process algebras
Theoretical Computer Science
Information flow vs. resource access in the asynchronous pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
A type system for lock-free processes
Information and Computation - IFIP TCS2000
Imperative objects as mobile processes
Science of Computer Programming
Region Analysis and a pi-Calculus wiht Groups
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Programming the Mobility Behaviour of Agents by Composing Itineraries
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
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
An Implicitly-Typed Deadlock-Free Process Calculus
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Reasoning About Concurrent Systems Using Types
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
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Types and Subtypes for Client-Server Interactions
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Programming methodology
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
A fresh look at low-power mobile computing
Compilers and operating systems for low power
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Region analysis and a π-calculus with groups
Journal of Functional Programming
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Lambda and pi calculi, CAM and SECD machines
Journal of Functional Programming
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Journal of Functional Programming
A parallel SML compiler based on algorithmic skeletons
Journal of Functional Programming
A randomized encoding of the π-calculus with mixed choice
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
CONCUR 2005 - Concurrency Theory
A stackless runtime environment for a Pi-calculus
Proceedings of the 2nd international conference on Virtual execution environments
A closer look at constraints as processes
Information Processing Letters
Type-safe distributed programming for OCaml
Proceedings of the 2006 workshop on ML
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Theoretical Computer Science - Applied semantics: Selected topics
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
A Coq Library for Verification of Concurrent Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent programming in a nutshell
Journal of Computing Sciences in Colleges
Comparing communication primitives via their relative expressive power
Information and Computation
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
A Hybrid Type System for Lock-Freedom of Mobile Processes
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Session-Based Distributed Programming in Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Theoretical Computer Science
Compiling the π-calculus into a Multithreaded Typed Assembly Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Counting the Cost in the Picalculus (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Compilation of Interaction Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
A closer look at constraints as processes
Information Processing Letters
ACM Transactions on Programming Languages and Systems (TOPLAS)
A hybrid type system for lock-freedom of mobile processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Using mobile architecture modeling and simulation for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
Performance evaluation of DPS coordination strategies modelled in pi-calculus
International Journal of Intelligent Information and Database Systems
Linear uniform receptiveness in a pi-calculus with location failures
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Termination in impure concurrent languages
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
A formal environment model for multi-agent systems
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Modeling and analyzing mobile software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Constraints on hypercomputation
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
A mobile agent service-oriented scripting language encoded on a process calculus
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
A provably correct compiler for efficient model checking of mobile processes
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Multicore scheduling for lightweight communicating processes
Science of Computer Programming
PiStache: implementing π-calculus in scala
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |