Pascal Poizat, Christine Choppy, Jean-Claude Royer. Concurrency and Data Types: a Specification Method. An Example with LOTOS. Fiadero, J.
Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4.
⟨hal-01135605⟩