A Theory of Proc-Omata - and Proof Methods for Process Architectures.

Benot Ballenghien, Burkhart Wolff

Browse the full ICTAC paper archive.