The state of the art in protocol engineering

The IC model of parallel computation and programming environment

ACM SIGCOMM Computer Communication Review

ECCS and LIPS: two languages for OSI systems specification and verification

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Relational Notation for State Transition Systems

IEEE Transactions on Software Engineering

The IC* Model of Parallel Computation and Programming Environment

IEEE Transactions on Software Engineering

Editorial

Computer Communications