A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Event Structure Spans for Nondeterministic Dataflow
Electronic Notes in Theoretical Computer Science (ENTCS)
From logic to theoretical computer science: an update
Pillars of computer science
Boris A. Trakhtenbrot: academic genealogy and publications
Pillars of computer science
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae
Compositional Proofs For Networks Of Processes
Fundamenta Informaticae
Hi-index | 0.00 |