A theory of higher order communicating systems

DOI10.1006/INCO.1995.1004zbMath0823.68061OpenAlexW2085273936MaRDI QIDQ1346714

Bent Thomsen

Publication date: 10 April 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1004

zbMATH Keywords

calculus of higher order communicating systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (25)

Tau laws for pi calculus ⋮ Nominal SOS ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ A functional presentation of pi calculus ⋮ SOS formats and meta-theory: 20 years after ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ Theory of interaction ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Variations on mobile processes ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ On the expressiveness of interaction ⋮ Variable binding operators in transition system specifications ⋮ A fully abstract denotational semantics for the calculus of higher-order communicating systems ⋮ On the relative expressiveness of higher-order session processes ⋮ Recursive equations in higher-order process calculi ⋮ Unnamed Item ⋮ A thesis for interaction ⋮ The λ-calculus in the π-calculus ⋮ Reaction graph ⋮ The Value-Passing Calculus ⋮ Modelling dynamic web data ⋮ Bisimilarity of open terms. ⋮ Decoding choice encodings ⋮ On Well-Foundedness and Expressiveness of Promoted Tyft ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication: A theory of higher order communicating systems