Pages that link to "Item:Q1199528"
From MaRDI portal
The following pages link to An algebraic semantics for structured transition systems and its application to logic programs (Q1199528):
Displayed 10 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)