The gamma model and its discipline of programming
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 88950
- scientific article; zbMATH DE number 3889501
- scientific article; zbMATH DE number 3985000
- A formal model of programs
- Generic models of the laws of programming
- scientific article; zbMATH DE number 3889500
- Models of the lambda calculus
- A generalized mathematical theory of structured programming
Cited in
(22)- Twenty years of rewriting logic
- A rewriting logic approach to operational semantics
- Rewriting logic as a semantic framework for concurrency: a progress report
- Entailment-based actions for coordination
- Simulating P systems with membrane dissolution in a chemical calculus
- Program construction by verifying specification
- Topological rewriting and the geometrization of programming
- The chemical abstract machine
- Refining multiset transformers
- Chemical term reduction with active P systems
- An informal introduction to a high level language with applications to interval mathematics
- An autonomous data language
- scientific article; zbMATH DE number 88950 (Why is no real title available?)
- On abstract interpretation of mobile ambients
- Bisimulations in the join-calculus
- scientific article; zbMATH DE number 2080934 (Why is no real title available?)
- Chemical organisation theory
- An overview of the K semantic framework
- A formal library of set relations and its application to synchronous languages
- Conditional rewriting logic as a unified model of concurrency
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- Implementation of GAMMA on a massively parallel computer.
This page was built for publication: The gamma model and its discipline of programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q751838)
