Robert G. Clark
-
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques