: An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.
: A Concurrent System of Multi-ported Processes with Causal Dependency.
: A Uniform Reduction Equivalence for Process Calculi.
: Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).
: The Scala Experiment - Can We Provide Better Language Support for Component Systems?