Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction. (English) Zbl 1524.68207
Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 1-26 (2022).
MSC:
68Q85