Pages that link to "Item:Q2464946"
From MaRDI portal
The following pages link to Tutorial on separation results in process calculi via leader election problems (Q2464946):
Displaying 9 items.
- The expressive power of CHR with priorities (Q388222) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Breaking symmetries (Q2971075) (← links)
- (Q3385647) (← links)
- Expressiveness of Multiple Heads in CHR (Q3599074) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
