Pages that link to "Item:Q1130165"
From MaRDI portal
The following pages link to A fully abstract semantics for causality in the \(\pi\)-calculus (Q1130165):
Displayed 15 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A Process-Model for Linear Programs (Q3638259) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)