Author:
Attali I.,Caromel D.,Guider R.,Wendelborn A. L.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. “Parallel and Distributed Technology — Systems and Applications”, Agha G. editor, 3 (4), 1995.
2. Sigplan Notices;I. Attali,1996
3. Attali I., Caromel D. and Wendelborn A. “A Formal Semantics and an Interactive Environment for Sisal”, pp 231–258, in [18].
4. Bertot Y. and Fraer R. “Reasoning with Executable Specifications”, Proc. of TAP-SOFT, LNCS 915, Aarhus, Denmark, 1995.
5. Böhm A. P. W., Cann D.C., Feo J.T., Oldehoeft R.R., “Sisal Reference Manual (language version 2.0)” Draft Report, 1992.