A formal axiomatization for alphabet reasoning with parametrized processes

DOI10.1007/PL00003924zbMath0910.68148OpenAlexW2072831484MaRDI QIDQ1271852

Alex Sellink, Henri Korver

Publication date: 11 November 1998

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

Full work available at URL: https://doi.org/10.1007/pl00003924

zbMATH Keywords

process-algebraic verification of systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Unnamed Item

This page was built for publication: A formal axiomatization for alphabet reasoning with parametrized processes