Flowgraphs and Flow Algebras

Proving systolic systems correct

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series

A model for distributed systems based on graph rewriting

Journal of the ACM (JACM)

Types and persistence in database programming languages

ACM Computing Surveys (CSUR)

Distributed bisimulations

Journal of the ACM (JACM)

A Framework for Neural Net Specification

IEEE Transactions on Software Engineering

Elements of interaction: Turing award lecture

Communications of the ACM

Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Computational flux

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

An Approach to Composing Parallel Programs

PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies

Spatial Congruence for Ambients Is Decidable

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science

The Flux of Interaction

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets

Elementary structures in process theory (1): Sets with renaming

Mathematical Structures in Computer Science

CCS with Hennessy's merge has no finite-equational axiomatization

Theoretical Computer Science - Expressiveness in concurrency

A brief history of process algebra

Theoretical Computer Science - Process algebra

Elements of interaction

ACM Turing award lectures

Forward analysis of depth-bounded processes

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures

PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

Fundamenta Informaticae

The saga of the axiomatization of parallel composition

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory