Parameterized Termination for Sequential Composition and Synchronization Product

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361280FDO

Authors Benoît Ballenghien

Publication date 2 February 2026

An operational semantics in Isabelle/HOL-CSP

Cited in

(1)

A Bridge between CSP Processes and Functional Automata

This page was built for software: Parameterized Termination for Sequential Composition and Synchronization Product

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Parameterized_Termination_for_Sequential_Composition_and_Synchronization_Product&oldid=105364493"