A Bridge between CSP Processes and Functional Automata

MaRDI QIDQ7361425FDO

Authors Benoît Ballenghien, Burkhart Wolff

Publication date 2 February 2026

Cites work

• A theory of Proc-Omata -- and proof methods for process architectures
• An operational semantics in Isabelle/HOL-CSP
• Philosophers May Dine - Definitively!

This page was built for software: A Bridge between CSP Processes and Functional Automata