Algebraic Signatures Enriched by Dependency Structure

DOI10.1007/978-3-642-28412-0_15zbMath1312.68145OpenAlexW96262354MaRDI QIDQ2890335

Grzegorz Marczyński

Publication date: 8 June 2012

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_15

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Cites Work

• Architectural specifications in CASL
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Essential concepts of algebraic specification and program development
• Products of coalgebras.
• Modal logics with linear alternative relations

This page was built for publication: Algebraic Signatures Enriched by Dependency Structure