Representability and program construction within fork algebras

DOI10.1093/JIGPAL/6.2.227zbMath0892.68062OpenAlexW2027733641MaRDI QIDQ4383701

Gabriel A. Baum, Marcelo Fabián Frias, Armando Martín Haeberer

Publication date: 27 July 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/6.2.227

zbMATH Keywords

program constructionfork algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Representability and program construction within fork algebras