Pages that link to "Item:Q1323361"
From MaRDI portal
The following pages link to Plain CHOCS. A second generation calculus for higher order processes (Q1323361):
Displayed 24 items.
- From CML to its process algebra (Q672132) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Reaction graph (Q1273068) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- On modelling mobility (Q1575151) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- A formal semantics for DAI language NUML (Q1894325) (← links)
- Variations on mobile processes (Q1960530) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- The seal calculus (Q2566220) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← 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)