Login / Signup

Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics.

J. CondomK. Ouriachi
Published in: PDSE (1998)
Keyphrases