Generic composition

DOI10.1007/S001650200031MaRDI QIDQ1402466zbMATH OpenOpenAlexFDO

Authors Yi F. Chen

Publication date 27 August 2003

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650200031, https://durham-repository.worktribe.com/output/1596263

zbMATH Keywords

Healthiness conditionModal logicParallelismPredicative semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Reconsidering generic composition
• Generic structures
• Generic substitutions
• Generic saturation
• Generic literals
• scientific article; zbMATH DE number 988706
• Generic separations
• scientific article; zbMATH DE number 149878
• Simple generic structures

Cited in

(11)

• A fixpoint theory for non-monotonic parallelism
• Conditional composition
• Semantic inheritance in unifying theories of programming
• Junctive compositions of specifications in total and general correctness
• scientific article; zbMATH DE number 4028076 (Why is no real title available?)
• Generic saturation
• scientific article; zbMATH DE number 2079822 (Why is no real title available?)
• scientific article; zbMATH DE number 2100544 (Why is no real title available?)
• scientific article; zbMATH DE number 2102054 (Why is no real title available?)
• On compositionality and its limitations
• Generic constructions for behavioral specifications

This page was built for publication: Generic composition

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