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

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