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):
Displaying 14 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← 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)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Tiles for Reo (Q3184723) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
