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 20 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)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Logic of transition systems (Q1895974) (← 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)
- (Q4222997) (← links)
- New Approach to Categorical Semantics for Procedural Languages (Q4557352) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Automated Deduction – CADE-19 (Q5900712) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)
