Communication with value passing has received ample attention in process theory. Value passing through a sequential composition has received much less attention. In recent work, we found that sequential value passing is the essential ingredient to prove the analogue of the classical theorem of the equivalence of pushdown automata and context-free grammars in a setting of interactive processes and bisimulation. Subsequently, we found that the treatment of sequential value passing in the process setting can be simplified considerably. We report on this simplification here, and find another application of sequential value passing, viz. a Kleene theorem for processes.

, , , , ,
doi.org/10.1007/978-3-031-61716-4_1
Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence
Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

Baeten, J., & Luttik, B. (2024). Sequential Value Passing Yields a Kleene Theorem for Processes. In Logics and Type Systems in Theory and Practice. doi:10.1007/978-3-031-61716-4_1