scientific article; zbMATH DE number 954809
From MaRDI portal
Publication:3837262
Recommendations
Cited in
(97)- An interpretation of typed objects into typed -calculus
- On the expressiveness of internal mobility in name-passing calculi
- A calculus for cryptographic protocols: The spi calculus
- Typing correspondence assertions for communication protocols
- On modelling mobility
- Types for access control
- Session types and subtyping for orchestrated interactions
- Secrecy and group creation
- The security pi-calculus and non-interference
- Analysing input/output-capabilities of mobile processes with a generic type system
- What is a ``good encoding of guarded choice?
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Static analysis for the \(\pi\)-calculus with applications to security
- Resource access control in systems of mobile agents
- Assigning types to processes
- Type inference for variant object types
- Towards a behavioural theory of access and mobility control in distributed systems
- A generic type system for the pi-calculus
- Type inference for record concatenation and subtyping
- Partition refinement of component interaction automata
- The name discipline of uniform receptiveness
- Processes against tests: on defining contextual equivalences
- Eager functions as processes
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Characteristic bisimulation for higher-order session processes
- Linear forwarders
- Types and full abstraction for polyadic -calculus
- Precise subtyping for synchronous multiparty sessions
- Algorithmic type checking for a pi-calculus with name matching and session types
- A type system for lock-free processes
- Mobile objects as mobile processes
- Genericity and the \(\pi\)-calculus
- MOMI: a calculus for mobile mixins
- Subtyping for session types in the pi calculus
- Type-based information flow analysis for the \(\pi\)-calculus
- A general framework for types in graph rewriting
- scientific article; zbMATH DE number 1670840 (Why is no real title available?)
- On hierarchical communication topologies in the -calculus
- A gentle introduction to multiparty asynchronous session types
- Typed behavioural equivalences for processes in the presence of subtyping
- A categorical framework for typing CCS-style process communication
- Processes and games
- Sequence types for the -calculus
- Types for access control in a calculus of mobile resources
- Symmetries and Dualities in Name-Passing Process Calculi
- Typed ψ-calculi
- Full abstraction in a subtyped pi-calculus with linear types
- Reversible client/server interactions
- Behavioural analysis of sessions using the calculus of structures
- Contracts for Mobile Processes
- Subtyping Supports Safe Session Substitution
- Name-passing calculi: from fusions to preorders and types
- Channel dependent types for higher-order mobile processes
- A behavioural theory for a \(\pi\)-calculus with preorders
- Orchestrated session compliance
- A Framework for Type Safe Exchange of Mobile Code
- Two Session Typing Systems for Higher-Order Mobile Processes
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- An algebra of behavioural types
- scientific article; zbMATH DE number 1223731 (Why is no real title available?)
- scientific article; zbMATH DE number 1361143 (Why is no real title available?)
- scientific article; zbMATH DE number 2044504 (Why is no real title available?)
- The name discipline of uniform receptiveness (extended abstract)
- On confluence in the -calculus
- Internal mobility and agent-passing calculi
- Typed behavioural equivalences for processes in the presence of subtyping
- scientific article; zbMATH DE number 1372678 (Why is no real title available?)
- Linear logical relations and observational equivalences for session-based concurrency
- scientific article; zbMATH DE number 2118223 (Why is no real title available?)
- Typing Correspondence Assertions for Communication Protocols
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- πI: A symmetric calculus based on internal mobility
- Counting the cost in the picalculus (extended abstract)
- Process types as a descriptive tool for interaction. Control and the pi-calculus
- Observing success in the pi-calculus
- A rude contract language for web services
- A simple library implementation of binary sessions
- Encoding ℂDuce in the ℂπ-Calculus
- Precise Subtyping for Asynchronous Multiparty Sessions
- A process-calculus analysis of concurrent operations on B-trees
- Strong normalisation in the \(\pi\)-calculus
- On implementations and semantics of a concurrent programming language
- Graph types for monadic mobile processes
- A taxonomy of process calculi for distribution and mobility
- Processes, systems \& tests: defining contextual equivalences
- Subtyping context-free session types
- Subtyping context-free session types
- Imperative objects as mobile processes
- First-order store and visibility in name-passing calculi
- Towards an algebraic theory of typed mobile processes
- PiDuce- A project for experimenting web services technologies
- Space-aware ambients and processes
- A behavioural theory for a \(\pi\)-calculus with preorders
- XPi: a typed process calculus for XML messaging
- Semantic subtyping for the pi-calculus
- Backwards type analysis of asynchronous method calls
- Linearity and bisimulation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3837262)
