Pages that link to "Item:Q5716822"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716822):
Displaying 9 items.
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458) (← links)
- Bisimulation verification using the up to techniques (Q5953448) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)