The following pages link to Bisimilarity of open terms. (Q1854331):
Displayed 8 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Vertical implementation (Q1854462) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)