The gamma model and its discipline of programming
From MaRDI portal
Publication:751838
DOI10.1016/0167-6423(90)90044-EzbMath0715.68054OpenAlexW2085870410MaRDI QIDQ751838
Daniel Le Métayer, Jean-Pierre Banâtre
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(90)90044-e
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
On abstract interpretation of mobile ambients, An informal introduction to a high level language with applications to interval mathematics, Refining multiset transformers, Entailment-based actions for coordination, Twenty years of rewriting logic, Rewriting logic as a semantic framework for concurrency: a progress report, Chemical organisation theory, Chemical Term Reduction with Active P Systems, A formal library of set relations and its application to synchronous languages, Topological rewriting and the geometrization of programming, Conditional rewriting logic as a unified model of concurrency, The chemical abstract machine, Implementation of GAMMA on a massively parallel computer., An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems, An overview of the K semantic framework, Bisimulations in the join-calculus, A rewriting logic approach to operational semantics, Program construction by verifying specification, Simulating P systems with membrane dissolution in a chemical calculus
