The following pages link to Global Computing (Q5464841):
Displaying 17 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- Aeolus: a component model for the cloud (Q476172) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Mobility control via passports (Q1012123) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- A calculus of kells (Q2844040) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- A Denotational Semantics for Parameterised Networks of Synchronised Automata (Q2971177) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902544) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)