Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communication and concurrency
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Selected papers of the Second Workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
Combinatory representation of mobile processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information and Computation
On reduction-based process semantics
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
The Problem of ``Weak Bisimulation up to''
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
On Asynchronous Communication Semantics
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
A Foundation for Higher-order Concurrent Constraint Programming
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics: the description of computational structures
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Authentication primitives and their compilation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
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
Protection in programming-language translations
Secure Internet programming
Abstractions for mobile computations
Secure Internet programming
Bisimulations in the join-calculus
Theoretical Computer Science
Distributed processes and location failures
Theoretical Computer Science
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Fine-Grained Multithreading with Process Calculi
IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
From rewrite rules to bisimulation congruences
Theoretical Computer Science
Trace and testing equivalence on asynchronous processes
Information and Computation
Extensible algebraic datatypes with defaults
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Resource access control in systems of mobile agents
Information and Computation
Using passive object garbage collection algorithms for garbage collection of active objects
Proceedings of the 3rd international symposium on Memory management
Formal methods for distributed processing
Formal methods for distributed processing
Inheritance in concurrent objects
Formal methods for distributed processing
PICCOLA---a small composition language
Formal methods for distributed processing
Primitives for authentication in process algebras
Theoretical Computer Science
Secure implementation of channel abstractions
Information and Computation
Towards a primitive higher order calculus of broadcasting systems
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mobile calculi for distributed programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A survey of theories for mobile agents
World Wide Web
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
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
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented 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
A LTS Semantics of Ambients via Graph Synchronization with Mobility
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
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th 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
On Synchronous and Asynchronous Mobile Processes
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
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Secrecy Types for Asymmetric Communication
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
A Top-Down Look at a Secure Message
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Inheritance in the Join Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
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 Asynchronous, Distributed Implementation of Mobile Ambients
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
An Introduction to Functional Nets
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
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Types, or: Where's the Difference Between CCS and pi?
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Secrecy types for asymmetric communication
Theoretical Computer Science - Foundations of software science and computation structures
Distributed implementation of a process-algebra based programming language for embedded systems
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
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Equational properties of mobile ambients
Mathematical Structures in Computer Science
Uniform confluence in concurrent computation
Journal of Functional Programming
The inheritance anomaly: ten years after
Proceedings of the 2004 ACM symposium on Applied computing
Region analysis and a π-calculus with groups
Journal of Functional Programming
A generic type system for the Pi-calculus
Theoretical Computer Science
Coordination and mobility in CoreLime
Mathematical Structures in Computer Science
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
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
Theoretical Computer Science - Special issue: Computational systems biology
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
A programming language for web service development
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Information and Computation
Mathematical Structures in Computer Science
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
Pure bigraphs: structure and dynamics
Information and Computation
Concurrent nets: a study of prefixing in process calculi
Theoretical Computer Science - Expressiveness in concurrency
ML grid programming with ConCert
Proceedings of the 2006 workshop on ML
Mixing signals and modes in synchronous data-flow systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
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
Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays
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
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Science of Computer Programming
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing a concurrent service orchestration engine in ccr
Proceedings of the 1st international workshop on Multicore software engineering
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric synchronizations in mobile nominal calculi
Theoretical Computer Science
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Synchronizing control flow in a tuplespace-based, distributed workflow management system
Proceedings of the 10th international conference on Electronic commerce
Agent Environment and Knowledge in Distributed Join Calculus
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
CoBoxes: Unifying Active Objects and Structured Heaps
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
The Common Component Modeling Example
Join patterns for visual basic
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Asynchronous sequential processes
Information and Computation
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interactive Programming of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Compiling the π-calculus into a Multithreaded Typed Assembly Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Fairness for Chorded Languages
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
EventJava: An Extension of Java for Event Correlation
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
A Process Calculus of Atomic Commit
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Cost Model for Concurrent and Data-parallel Meta-computing
Electronic Notes in Theoretical Computer Science (ENTCS)
SCHOOL: a Small Chorded Object-Oriented Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Pure bigraphs: Structure and dynamics
Information and Computation
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematical Structures in Computer Science
A theory of distributed aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
On generic context lemmas for higher-order calculi with sharing
Theoretical Computer Science
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Exception handling in the BPEL4WS language
BPM'03 Proceedings of the 2003 international conference on Business process management
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
ESOP'03 Proceedings of the 12th European conference on Programming
Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
PRISMA: a mobile calculus with parametric synchronization
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Information hiding in the join calculus
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Transactional service level agreement
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Mobile processes and termination
Semantics and algebraic specification
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Lolliproc: to concurrency from classical linear logic via curry-howard and control
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Putting events in context: aspects for event-based distributed programming
Proceedings of the tenth international conference on Aspect-oriented software development
Biochemical reaction rules with constraints
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Composable asynchronous events
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Program analysis for event-based distributed systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Ownership types for the join calculus
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Advanced mechanisms for service composition, query and discovery
Rigorous software engineering for service-oriented systems
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
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
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Programming and compiling web services in GPSL
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Non-sequential behaviour of dynamic nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The essence of data access in Cω: the power is in the dot!
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Component-oriented programming with sharing: containment is not ownership
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Dynamic graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
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
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Scalable efficient composite event detection
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
GPSL: a programming language for service implementation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Empirical Software Engineering and Verification
Reagents: expressing and composing fine-grained concurrency
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Control flow analysis for the join calculus
SAS'12 Proceedings of the 19th international conference on Static Analysis
Abstracting context in event-based software
Transactions on Aspect-Oriented Software Development IX
On distributability in process calculi
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Aggregation for implicit invocations
Proceedings of the 12th annual international conference on Aspect-oriented software development
P: safe asynchronous event-driven programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Feel different on the Java platform: the star programming language
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Joins: a case study in modular specification of a concurrent reentrant higher-order library
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Science of Computer Programming
| Hi-index | 0.01 |