Sequential value passing yields a Kleene theorem for processes

DOI10.1007/978-3-031-61716-4_1MaRDI QIDQ7030793zbMATH OpenFDO

Authors Jos C. M. Baeten, Bas Luttik

Publication date 7 February 2025

zbMATH Keywords

context-free grammarKleene theorembisimilaritypushdown automatonprocess theorysequential value passing

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Sequential value passing yields a Kleene theorem for processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030793)