-calculus, internal mobility, and agent-passing calculi
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3744561 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1333606 (Why is no real title available?)
- scientific article; zbMATH DE number 517055 (Why is no real title available?)
- A \(\pi \)-calculus with explicit substitutions: the late semantics
- A calculus of mobile processes. II
- A fully abstract denotational model for higher-order processes
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- A fully abstract semantics for causality in the \(\pi\)-calculus
- Algebra of communicating processes with abstraction
- Asynchronous process calculi: The first- and higher-order paradigms
- Functions as processes
- Fundamental properties of infinite trees
- Locality and interleaving semantics in calculi for mobile processes
- Objects in the \(\pi\)-calculus
- Observational structures and their logic
- The lambda calculus, its syntax and semantics
Cited in
(69)- The \(\pi\)-calculus: A theory of mobile processes
- On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
- Event structures for the reversible early internal \(\pi\)-calculus
- On the relative expressive power of calculi for mobility
- An interpretation of CCS into ludics
- On the expressiveness of interaction
- The \(C_\pi\)-calculus: a model for confidential name passing
- Models for name-passing processes: Interleaving and causal
- scientific article; zbMATH DE number 7649947 (Why is no real title available?)
- Taking linear logic apart
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- Asynchronous process calculi: The first- and higher-order paradigms
- Explicit fusions
- Topology in process calculus. I: Limit behaviour of agents
- Probabilistic and nondeterministic aspects of anonymity
- On parameterization of higher-order processes
- A randomized encoding of the \(\pi\)-calculus with mixed choice
- Typed event structures and the linear \(\pi \)-calculus
- Mechanized metatheory revisited
- A fully abstract model for the \(\pi\)-calculus.
- Eager functions as processes
- First-order semantics for higher-order processes
- Fundamentals of session types
- Linear logic propositions as session types
- Some congruence properties for \(\pi\)-calculus bisimilarities
- Nominal SOS
- Leader election in rings of ambient processes
- A functional presentation of pi calculus
- Internal mobility and agent-passing calculi
- Probabilistic \(\pi\)-calculus and event structures
- Denotational semantics of channel mobility in UTP-CSP
- On the expressiveness and decidability of higher-order process calculi
- Tutorial on separation results in process calculi via leader election problems
- A truly concurrent game model of the asynchronous \(\pi\)-calculus
- Decoding choice encodings
- Linear forwarders
- The name discipline of uniform receptiveness
- Rule formats for nominal process calculi
- Tau laws for pi calculus
- Free-algebra models for the \(\pi \)-calculus
- Linear logical relations and observational equivalences for session-based concurrency
- HOCore in Coq
- Strong normalisation in the \(\pi\)-calculus
- Name-passing calculi: from fusions to preorders and types
- On the relative expressiveness of higher-order session processes
- Rule formats for nominal process calculi
- On the relative expressiveness of higher-order session processes
- Matching systems for concurrent calculi
- On decidability of the bisimilarity on higher-order processes with parameterization
- Linearity and bisimulation
- Bisimulation congruence of -calculus
- Encoding generic judgments: preliminary results
- scientific article; zbMATH DE number 1372683 (Why is no real title available?)
- The \(\lambda \)-calculus in the \(\pi \)-calculus
- A behavioural theory for a \(\pi\)-calculus with preorders
- On the expressiveness of internal mobility in name-passing calculi
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Towards races in linear logic
- The name discipline of uniform receptiveness (extended abstract)
- scientific article; zbMATH DE number 7559289 (Why is no real title available?)
- scientific article; zbMATH DE number 7204939 (Why is no real title available?)
- A subexponential view of domains in session types
- Variations on mobile processes
- Constructing weak simulations from linear implications for processes with private names
- Choreographies, logically
- Order algebras: a quantitative model of interaction
- Symmetries and Dualities in Name-Passing Process Calculi
- Modelling patterns of gene regulation in the bond-calculus
- Theory of interaction
This page was built for publication: \(\pi\)-calculus, internal mobility, and agent-passing calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671684)