An upper bound for the equational specification of finite state services

DOI10.1016/J.IPL.2005.02.010zbMath1182.68054OpenAlexW1976217110MaRDI QIDQ1041764

Jan A. Bergstra, Inge Bethke

Publication date: 4 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.02.010

zbMATH Keywords

data structuresspecification languagesboundedness propertiesclient-server composition

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Process algebra for synchronous communication
• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY

This page was built for publication: An upper bound for the equational specification of finite state services