On a Method of Multiprogramming

  title={On a Method of Multiprogramming},
  author={Wim H. J. Feijen and A. J. M. van Gasteren},
  booktitle={Monographs in Computer Science},
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 50 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 34 extracted citations

Mathematics of Program Construction

Lecture Notes in Computer Science • 2012
View 20 Excerpts
Highly Influenced

Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation

2009 Australian Software Engineering Conference • 2009
View 7 Excerpts
Highly Influenced

Streamlining progress-based derivations of concurrent programs

Formal Aspects of Computing • 2007
View 10 Excerpts
Highly Influenced

Derivation of Java monitors

Australian Software Engineering Conference (ASWEC'06) • 2006
View 11 Excerpts
Highly Influenced

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

On a Method for the Formal Design of Multiprograms

W.H.J. Feijen, A.J.M. van Gasteren
Proceedings 01 the NATO Advanced Study Institute on Mathematical Methods in Program Development, held at Marktoberdorl • 1996

Multiprogram Derivations. Master's Thesis, Department of Mathematics and Computing

F. W. van der Sommen
Science, Eindhoven University of Technology, • 1994

What Computing Is All About

Text and Monographs in Computer Science • 1993

Exercises in Formula Manipulation

W.H.J. Feijen
Formal Development 01 Programs and Prools, • 1990

Predicate Calculus and Program Semantics

Texts and Monographs in Computer Science • 1990

Similar Papers

Loading similar papers…