-calculus, internal mobility, and agent-passing calculi

DOI10.1016/0304-3975(96)00075-8MaRDI QIDQ671684zbMATH OpenOpenAlexFDO

Authors Davide Sangiorgi

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(96)00075-8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Internal mobility and agent-passing calculi
• On the expressiveness of internal mobility in name-passing calculi
• On the expressiveness of internal mobility in name-passing calculi
• A calculus of mobile processes. I

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)