Nets of processes and data flow

A relational model of non-deterministic dataflow

Mathematical Structures in Computer Science

From logic to theoretical computer science: an update

Pillars of computer science

Boris A. Trakhtenbrot: academic genealogy and publications

Pillars of computer science

Finite dimensional vector spaces are complete for traced symmetric monoidal categories

Pillars of computer science

On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity

Fundamenta Informaticae

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

Fundamenta Informaticae

Compositional Proofs For Networks Of Processes

Fundamenta Informaticae