PROTOB: An Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems.
A Methodology for Constructing Predicate Transition Net Specifications.
Extending Regular Expressions with Context Operators and Parse Extraction.
Transparent Process Migration: Design Alternatives and the Sprite Implementation.
Compiled Instruction Set Simulation.
Tlex.