Edgar Knapp. An exercise in the formal development of parallel programs: Maximum flows in graphs. ACM Transactions on Programming Languages and Systems, 12(2), 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Research on Techniques and Tools for Computer Security: The.. - Spafford (Correct)
....a working whole. Dr. Knapp has developed a language and tools based on formalisms developed by Chandy and Misra. He has also developed a method of refinement to design large software systems in a systematic and scientific manner, and has applied his work to a variety of practical problems (c.f. [17, 18]) It seems desirable to address security concerns in a modular fashion, and this line of inquiry is an ideal candidate for further research and evaluation. John T. Korb Dr. Korb received his Ph.D. from the University of Arizona in 1979, where he participated in the design and implementation of ....
Edgar Knapp. An exercise in the formal development of parallel programs: Maximum flows in graphs. ACM Transactions on Programming Languages and Systems, 12(2), 1990.
Research on Techniques and Tools for Computer Security: The.. - Director Eugene (Correct)
....a working whole. Dr. Knapp has developed a language and tools based on formalisms developed by Chandy and Misra. He has also developed a method of refinement to design large software systems in a systematic and scientific manner, and has applied his work to a variety of practical problems (c.f. [12, 13]) It seems desirable to address security concerns in a modular fashion, and this line of inquiry is an ideal candidate for further research and evaluation. John T. Korb Dr. Korb received his Ph.D. from the University of Arizona in 1979, where he participated in the design and implementation of ....
Edgar Knapp. An exercise in the formal development of parallel programs: Maximum flows in graphs. ACM Transactions on Programming Languages and Systems, 12(2), 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC