On the expressiveness of internal mobility in name-passing calculi
From MaRDI portal
Publication:1276243
Recommendations
- On the expressiveness of internal mobility in name-passing calculi
- On the relative expressive power of calculi for mobility
- Algebraic theories for name-passing calculi
- Foundations of Software Science and Computation Structures
- scientific article; zbMATH DE number 2087427
- scientific article; zbMATH DE number 1223739
- On asynchrony in name-passing calculi
- Name-passing calculi: from fusions to preorders and types
- Name-passing calculi: from fusions to preorders and types
- Name-passing in an ambient-like calculus and its proof using spatial logic
Cites work
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- scientific article; zbMATH DE number 2090726 (Why is no real title available?)
- A \(\pi\)-calculus with explicit substitutions
- A fully abstract semantics for causality in the \(\pi\)-calculus
- A theory of bisimulation for the \(\pi\)-calculus
- Algebraic theories for name-passing calculi
- An efficiency preorder for processes
- Asynchronous process calculi: The first- and higher-order paradigms
- Decoding choice encodings
- Functions as processes
- Locality and interleaving semantics in calculi for mobile processes
- On bisimulations for the asynchronous \(\pi\)-calculus
- Some congruence properties for \(\pi\)-calculus bisimilarities
- Testing equivalences for processes
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
Cited in
(35)- Full abstraction for expressiveness: history, myths and facts
- Deadlock freedom for asynchronous and cyclic process networks
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- Linear forwarders
- An interpretation of typed objects into typed \(\pi\)-calculus
- Linear logic propositions as session types
- Towards races in linear logic
- Internal mobility and agent-passing calculi
- Matching systems for concurrent calculi
- On the expressiveness of internal mobility in name-passing calculi
- Variations on mobile processes
- Denotational semantics of channel mobility in UTP-CSP
- On the interactive power of higher-order processes extended with parameterization
- Comparing session type systems derived from linear logic
- On an open problem of Amadio and Curien: The finite antichain condition
- Responsiveness in process calculi
- A truly concurrent game model of the asynchronous \(\pi\)-calculus
- On modelling mobility
- Types and full abstraction for polyadic \(\pi\)-calculus
- Bisimulation congruence of \(\chi\)-calculus
- Towards a unified approach to encodability and separation results for process calculi
- Communication and mobility control in boxed ambients
- Event structures for the reversible early internal \(\pi\)-calculus
- Tau laws for pi calculus
- Strong normalisation in the \(\pi\)-calculus
- On the expressive power of \textsc{Klaim}-based calculi
- Taking linear logic apart
- On transformations of concurrent-object programs
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Linear logical relations and observational equivalences for session-based concurrency
- A subexponential view of domains in session types
- The \(C_\pi\)-calculus: a model for confidential name passing
- Linearity, control effects, and behavioral types
- Bisimulations in the join-calculus
This page was built for publication: On the expressiveness of internal mobility in name-passing calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1276243)
