Compositionality and compatibility of parameterization and parameter passing in specification languages
From MaRDI portal
Publication:4856663
DOI10.1017/S0960129500000748zbMath0839.68061OpenAlexW2121827076MaRDI QIDQ4856663
Fernando Orejas, Rosa M. Jiménez, Hartmut Ehrig
Publication date: 28 May 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500000748
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
This page was built for publication: Compositionality and compatibility of parameterization and parameter passing in specification languages
