Publication
-
January 1980
-
January 1980
-
A mesh-parameter continuation method Tech Report
January 1980 -
Completeness with finite systems of intermediate assertions for recursive program schemes Article
SIAM Journal on Computing, 665-671.January 1980 -
A proof system for communicating sequential processes Article
ACM Transactions on Programming Languages and Systems, 2(3), 359-386.January 1980 -
January 1980
-
January 1980
-
On the structure of an adaptive multi-level algorithm Article
BIT : Numerical Mathematics, 289-301.January 1980