The following pages link to (Q5357704):
Displaying 10 items.
- Distinguishing between communicating transactions (Q1706141) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- (Q4972733) (← links)
- (Q4972736) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- (Q5856409) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
