Issn__-x
Description and Formal Specification of the Link Layer of P1394
Discrete Time Process Algebra and the Semantics of SDL
High performance support for OO traversals in Monet
Lazy rewriting and eager machinery
Proof-checking an audio control protocol with LP
Using coordination to parallelize sparse-grid methods for 3D CFD problems