An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (preliminary report)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Modalities in analysis and verification
ACM Computing Surveys (CSUR)
Enhanced operational semantics
ACM Computing Surveys (CSUR)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Programming languages, analysis tools, and concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An implementation of complete, asynchronous, distributed garbage collection
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A partially deadlock-free typed process calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A calculus for dynamic customization of virtual environments
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Secrecy by typing in security protocols
Journal of the ACM (JACM)
Authentication primitives and their compilation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Foundational aspects of syntax
ACM Computing Surveys (CSUR)
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
Flexible types for a concurrent model
Concurrent object-oriented programming and petri nets
Protection in programming-language translations
Secure Internet programming
On the generalized dining philosophers problem
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Bisimulations in the join-calculus
Theoretical Computer Science
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Formal methods for distributed processing
A fully abstract denotational semantics for the π-calculus
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
Mobile calculi for distributed programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Testing congruence for mobile processes
Journal of Computer Science and Technology
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
A bisimulation method for cryptographic protocols
Nordic Journal of Computing
Nordic Journal of Computing
A mechanized theory of the &pi-calculus in Hol
Nordic Journal of Computing
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata
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
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
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
Coordination among Multi-agents Using Process Calculus and ECA Rule
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Mathematical Models of Computer Security
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
Coinductive Interpreters for Process Calculi
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and 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
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Open Bisimulations on Chi Processes
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Implicitly-Typed Deadlock-Free Process Calculus
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Typing Mobility in the Seal Calculus
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
CRYPTO '00 Proceedings of the 20th Annual International Cryptology Conference on Advances in Cryptology
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
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
Security Protocols and Specifications
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
Secrecy Types for Asymmetric Communication
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Top-Down Look at a Secure Message
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
The Ground Congruence for Chi Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Communication Interference in Mobile Boxed Ambients
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Open Ended Systems, Dynamic Bisimulation and Tile Logic
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
A Higher-Order Specification of the pi-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
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Enhanced Operational Semantics in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Static Analysis of Processes for No and Read-Up nad No Write-Down
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
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bigraphs as a Model for Mobile Interaction
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Object-oriented programming and software development: a critical assessment
Programming methodology
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Secrecy types for asymmetric communication
Theoretical Computer Science - Foundations of software science and computation structures
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
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
Bisimulation congruence of ℵ-calculus
Information and Computation
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
Automatic testing equivalence verification of spi calculus specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
FreshML: programming with binders made simple
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Proof systems for π-calculus logics
Logic for concurrency and synchronisation
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
Region analysis and a π-calculus with groups
Journal of Functional Programming
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Models for name-passing processes: interleaving and causal
Information and Computation
Simulation and verification I: design environments for complex systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Using static analysis to validate the SAML single sign-on protocol
WITS '05 Proceedings of the 2005 workshop on Issues in the theory of security
On bisimulations for the spi calculus
Mathematical Structures in Computer Science
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
Journal of Functional Programming
Nominal rewriting with name generation: abstraction vs. locality
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Theoretical Computer Science
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Journal of Parallel and Distributed Computing
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
Model checking for π-calculus using proof search
CONCUR 2005 - Concurrency Theory
Axioms for bigraphical structure
Mathematical Structures in Computer Science
Consistency of the theory of contexts
Journal of Functional Programming
Separating per-client and pan-client views in service specification
Proceedings of the 2006 international workshop on Service-oriented software engineering
A multi-agent system for mobile environments
Intelligent information processing II
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
A closer look at constraints as processes
Information Processing Letters
A CPS encoding of name-passing in higher-order mobile embedded resources
Theoretical Computer Science - Expressiveness in concurrency
Towards automatic verification of Erlang programs by π-calculus translation
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Type-safe distributed programming for OCaml
Proceedings of the 2006 workshop on ML
A service-oriented language for programming mobile agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
Proceedings of the 5th international conference on Generative programming and component engineering
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Theoretical Computer Science - Applied semantics: Selected topics
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
When ambients cannot be opened
Theoretical Computer Science - Foundations of software science and computation structures
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Type checking a multithreaded functional language with session types
Theoretical Computer Science
Modelling, property verification and behavioural equivalence of lactose operon regulation
Computers in Biology and Medicine
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
A regular viewpoint on processes and algebra
Acta Cybernetica
Information flow security in dynamic contexts
Journal of Computer Security
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
A general mathematics of names
Information and Computation
Hierarchical Nominal Terms and Their Theory of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Web Services Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Feasible reactivity in a synchronous Π-calculus
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Information and Computation
Theoretical Computer Science
A uniform type structure for secure information flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
Basic observables for a calculus for global computing
Information and Computation
Theoretical Computer Science
Probabilistic bisimulations for quantum processes
Information and Computation
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
Electronic Notes in Theoretical Computer Science (ENTCS)
A Well-behaved LTS for the Pi-calculus
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
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coq Library for Verification of Concurrent Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Code mobility modeling: a temporal labeled reconfigurable nets
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
Types for ambient and process mobility†
Mathematical Structures in Computer Science
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Security types for dynamic web data
Theoretical Computer Science
Theoretical Computer Science
Approximate reasoning in the algebra of bounded rational agents
International Journal of Approximate Reasoning
Concurrent and Located Synchronizations in π-Calculus
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
ACNS '07 Proceedings of the 5th international conference on Applied Cryptography and Network Security
SuMo: A Framework for Prototyping Distributed and Mobile Software
ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Implementing Spi Calculus Using Nominal Techniques
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Sessions and Pipelines for Structured Service Programming
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On Beta-Binders Communications
Concurrency, Graphs and Models
Ugo Montanari and Software Verification
Concurrency, Graphs and Models
History Dependent Automata for Service Compatibility
Concurrency, Graphs and Models
A Type System for Client Progress in a Service-Oriented Calculus
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Network Applications of Graph Bisimulation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
On the expressibility of priority
Information Processing Letters
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Reachability Analysis in BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Role of Names in Reasoning about λ-tree Syntax Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
A Denotational Model for Web Services Choreography
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
Goal-Equivalent Secure Business Process Re-engineering
Service-Oriented Computing - ICSOC 2007 Workshops
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
Theoretical Computer Science
Asynchronous sequential processes
Information and Computation
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
A congruence rule format for name-passing process calculi
Information and Computation
A Look Around the Corner: The Pi-Calculus
Transactions on Petri Nets and Other Models of Concurrency II
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
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Science of Computer Programming
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
On the Expressive Power of Process Interruption and Compensation
Web Services and Formal Methods
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science
Local policies for resource usage analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stochastic Process Algebra Based Software Process Simulation Modeling
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Knowledge Aware Bisimulation and Anonymity
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Formulating Agent Interaction for Ontology Evolution
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Calculi for Service-Oriented Computing
Formal Methods for Web Services
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
Stochastic biological modelling in the presence of multiple compartments
Theoretical Computer Science
Parametrised Constants and Replication for Spatial Mobility
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Modeling Feedback within MAS: A Systemic Approach to Organizational Dynamics
Organized Adaption in Multi-Agent Systems
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Electronic Notes in Theoretical Computer Science (ENTCS)
A Complete Symbolic Bisimilarity for an Extended Spi Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A concurrent ML library in concurrent Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
Formalising Observer Theory for Environment-Sensitive Bisimulation
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
The lambda-context calculus (extended version)
Information and Computation
Proof search specifications of bisimulation and modal logics for the π-calculus
ACM Transactions on Computational Logic (TOCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Fresh Names in the π-calculus Using Abstractions
Electronic Notes in Theoretical Computer Science (ENTCS)
Relationally Staged Computations in Calculi of Mobile Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Labelled Markov Processes: Stronger and Faster Approximations
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Evaluation of Security Protocols Specified in LySa
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronization Algebras with Mobility for Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Proof Search Specification of the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantitative Study of Two Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Approach to the Static Analysis of Cryptographic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
A Semiring-based Quantitative Analysis of Mobile Systems
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
Turing machines, transition systems, and interaction
Information and Computation
A closer look at constraints as processes
Information Processing Letters
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A process calculus for Mobile Ad Hoc Networks
Science of Computer Programming
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
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
Safe compositional network sketches: formal framework
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Replication vs. recursive definitions in channel based calculi
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Formalising the π-calculus using nominal logic
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
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
An algebraic approach for managing inconsistencies in software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
A calculus for mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Automated verification of security policies in mobile code
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
PRISMA: a mobile calculus with parametric synchronization
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Stochastic simulation of biological systems with dynamical compartment structure
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
WMC'07 Proceedings of the 8th international conference on Membrane computing
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A trace based bisimulation for the spi calculus: an extended abstract
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
π@: 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
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A process calculus for mobile ad hoc networks
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Deriving bisimulation congruences in the presence of negative application conditions
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Open bisimulation for the concurrent constraint pi-calculus
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
Transactional service level agreement
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Security protocols: principles and calculi tutorial notes
Foundations of security analysis and design IV
Performance evaluation of DPS coordination strategies modelled in pi-calculus
International Journal of Intelligent Information and Database Systems
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Weak bisimilarity coalgebraically
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Deriving structural labelled transitions for mobile ambients
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
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Translating Pi-calculus into LOTOS NT
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Model independent order relations for processes
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
Analysis of deadlocks in object groups
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
Modeling UAS swarm system using conceptual and dynamic architectural modeling concepts
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
A timed calculus for wireless systems
Theoretical Computer Science
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
CC-Pi: a constraint language for service negotiation and composition
Rigorous software engineering for service-oriented systems
Denotational semantics using horn concurrent transaction logic
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Formalizing the environment view of process equivalence
CIS'04 Proceedings of the First international conference on Computational and Information Science
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
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Secrecy of signals by typing in signal transduction
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
More on bisimulations for higher order π-calculus
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Scalable message routing for mobile software assistants
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A novel architecture for realizing grid workflow using pi-calculus technology
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
A calculus for MAS interaction protocol
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Representing and reasoning with operational semantics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Typing aberrance in signal transduction
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A software framework for rapid prototyping of run-time systems for mobile calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Supporting partial component matching
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Synchronized hyperedge replacement for heterogeneous systems
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
A calculus for trust management
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
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
Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus
International Journal of Intelligent Information and Database Systems
On specification and verification of location-based fault tolerant mobile systems
Rigorous Development of Complex Fault-Tolerant Systems
On mobility of software processes
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
What is a good process semantics?
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Measuring the speed of information leakage in mobile processes
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Forward analysis of depth-bounded processes
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Programming services with correlation sets
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Parameterized verification of π-calculus systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Value-passing CCS with noisy channels
Theoretical Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Graph representation of sessions and pipelines for structured service programming
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A component model for the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
State inference for dynamically changing interfaces
Computer Languages
Linear logical relations for session-based concurrency
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Application of formal analysis to enhancing trust in a complex grid-based operating system
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
More on bisimulations for higher order π-calculus
Theoretical Computer Science
A Presheaf Environment for the Explicit Fusion Calculus
Journal of Automated Reasoning
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Time and exceptional behavior in multiparty structured interactions
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
A fully abstract view for local cause semantics
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Open bisimulation for quantum processes
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Checking bisimilarity for attributed graph transformation
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Towards simulation-based similarity of end user browsing processes
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Theories of Programming and Formal Methods
Hi-index | 0.03 |