On the interactive power of higher-order processes extended with parameterization

DOI10.1007/s00165-020-00524-1OpenAlexW3111623913MaRDI QIDQ2026374

Huan Long, Xian Xu, Qiang Yin, Wen-bo Zhang

Publication date: 19 May 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00524-1

zbMATH Keywords

interactiveparameterizationhigher-orderprocesses

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the expressiveness and decidability of higher-order process calculi
• Bisimulation for higher-order process calculi
• Parametric channels via label expressions in CCS
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theory of interaction
• On the expressiveness of interaction
• A calculus of mobile processes. I
• On the expressiveness of internal mobility in name-passing calculi
• Plain CHOCS. A second generation calculus for higher order processes
• A theory of encodings and expressiveness (extended abstract)
• What is a ``good encoding of guarded choice?
• Decoding choice encodings
• Distinguishing and relating higher-order and first-order processes by expressiveness
• On the Expressiveness of Forwarding in Higher-Order Communication
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
• On asynchrony in name-passing calculi
• Decidable Fragments of a Higher Order Calculus with Locations
• Foundations of Software Science and Computation Structures
• Full abstraction for expressiveness: history, myths and facts