Rob J. Van Glabbeek

Computing natural language
Comparative concurrency semantics and refinement of actions