Pages that link to "Item:Q751838"
From MaRDI portal
The following pages link to The gamma model and its discipline of programming (Q751838):
Displaying 17 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Implementation of GAMMA on a massively parallel computer. (Q676856) (← links)
- Topological rewriting and the geometrization of programming (Q933444) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Entailment-based actions for coordination (Q1127518) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The chemical abstract machine (Q1190491) (← links)
- Program construction by verifying specification (Q1273080) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- An informal introduction to a high level language with applications to interval mathematics (Q1899457) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Simulating P systems with membrane dissolution in a chemical calculus (Q2311261) (← links)
- Chemical organisation theory (Q2426301) (← links)
- Chemical Term Reduction with Active P Systems (Q2975908) (← links)
