Shared memory implementation of the gamma-operation

DOI10.1006/JSCO.1996.0032MaRDI QIDQ2365131zbMATH OpenOpenAlexFDO

Authors Katia Gladitz, Herbert Kuchen

Publication date 22 May 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0032

zbMATH Keywords

Gamma scheme

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1472820
• scientific article; zbMATH DE number 2080934
• Structured gamma
• Refining multiset transformers

Cited in

(2)

• On the complexity of concurrent multiset rewriting
• scientific article; zbMATH DE number 1472820 (Why is no real title available?)

This page was built for publication: Shared memory implementation of the gamma-operation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365131)