Pages that link to "Item:Q2500474"
From MaRDI portal
The following pages link to Splitting bisimulations and retrospective conditions (Q2500474):
Displaying 7 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation (Q3591399) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)