Modularization of a specification in LOTOS.

Kentaro Go, Norio Shiratori

Browse the full ICNP paper archive.