Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. - J. Condom; K. Ouriachi (PDSE, 1998)