![](/img/cover-not-exists.png)
[IEEE Comput. Soc International Symposium on Software Engineering for Parallel and Distributed Systems - Kyoto, Japan (20-21 April 1998)] Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems - Contribution to the specification in Z of concurrency under a non-interleaving semantics
Condom, J.-M., Ouriachi, K.Year:
1998
Language:
english
DOI:
10.1109/pdse.1998.668150
File:
PDF, 78 KB
english, 1998