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