Pages that link to "Item:Q1346714"

The following pages link to A theory of higher order communicating systems (Q1346714):

Displaying 32 items.

• Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
• A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
• A functional presentation of pi calculus (Q865929) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• Theory of interaction (Q896903) (← links)
• On the expressiveness of interaction (Q960859) (← links)
• Higher-order communications for concurrent programming (Q1067776) (← links)
• Reaction graph (Q1273068) (← links)
• A theory of communicating processes with value passing (Q1317426) (← links)
• Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
• A communication problem and directed triple systems (Q1392553) (← links)
• Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
• Bisimilarity of open terms. (Q1854331) (← links)
• Decoding choice encodings (Q1854385) (← links)
• Tau laws for pi calculus (Q1884877) (← links)
• Variations on mobile processes (Q1960530) (← links)
• A thesis for interaction (Q2055962) (← links)
• On the relative expressiveness of higher-order session processes (Q2272988) (← links)
• Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
• Modelling dynamic web data (Q2566029) (← links)
• The Value-Passing Calculus (Q2842635) (← links)
• A reflective higher-order calculus (Q2863844) (← links)
• On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) (Q2866315) (← links)
• Theoretical aspects of communication-centred programming (Q2870194) (← links)
• The λ-calculus in the π-calculus (Q3094164) (← links)
• Nominal SOS (Q3178277) (← links)
• On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
• (Q5111635) (← links)
• Variable binding operators in transition system specifications (Q5931555) (← links)
• A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
• Recursive equations in higher-order process calculi (Q5958778) (← links)