rce10845@uxa.cso.uiuc.edu (Robert C Elliott) (12/17/90)
Here are the bibliography entries of what I was able to locate on the topic. The previous article in this forum summarizing responses from the net includes some other references I did not find, and this article lists some references not mentioned on the net. - Rob Elliott Visual Concurrent Programming Languages References ---------- Ae, Tadashi, Yamashita, Masafumi, Cunha, Wagner Chiepa, and Matsumoto, Hiroshi. "Visual User-Interface of a Programming System: MOPS2."1984 IEEE Computer Society Workshop on Visual Languages, Hiroshima, Japan, December 1984, pages 44-53. - Modules in MOPS2 are converted to primitive colored Petri nets for informal verification. Program visualization technique. Belady, L. A. and Hosokawa, K. "Visualization of Independence and Dependence for Program Concurrency."1984 IEEE Computer Society Workshop on Visual Languages, Hiroshima, Japan, December 1984. Pages 59-63. - Textual method, 2 dimensions used. Beguelin, Adam Louis. "Deterministic Parallel Programming in Phred." Ph.D. thesis, University of Colorado Department of Computer Science, 1990. - Bilogic Precedence graphs, nondeterminism checker. Chang, Shi-Kuo, ed. Visual Languages and Visual Programming. New York: Plenum Press, 1990. - includes a P. D. Stotts article. Chang, Shi-Kuo, Ichikawa, Tadao, and Ligomenides, Panos A., ed. Visual Languages. New York: Plenum Press, 1986. - An article by Nan C. Shu, "Visual Programming Languages: a Perspective and a Dimensional Analysis," pp. 11-35, describes the Belady-Hosokawa Proposal. Giacalone, Alessandro. "Algebraic Definitions in Programming Environments." Brown University Technical Report No. CS-84-17, August 1984. - A graphical syntax for CCS. Goering, Steven Kent. "A Graph Grammar Approach to Concurrent Programming." Ph.D. thesis, University of Illinois Department of Computer Science,Technical Report UIUCDCS-R- 90-1576, 1990. - Delta Grammars. Golin, Eric J., and Reiss, Steven P. "The Specification of Visual Language Syntax." 1989 IEEE Workshop on Visual Languages, October 1989, Rome, Italy, pages 105-110. - Briefly describes Harel's StateCharts. Harel, David. "On Visual Formalisms," Communications of the ACM, May 1988, pages 514-530. - Introduces higraphs, hierarchical graphs for representing state. Jacob, Robert J. K. "A State Transition Diagram Language for Visual Programming." IEEE Computer, August 1985, pages 51-59. - Allows nondeterminism. Janssens, D. and Rozenberg, G. "Actor Grammars." Mathematical Systems Theory, 1989, pages 75-107. - Graph grammar theory for actors. Kahn, Kenneth M., and Saraswat, Vijay A. "Complete Visualizations of Concurrent Programs and their Executions." Xerox Technical Report SSL-90-38, August 3, 1990. - Pictorial Janus Kaplan, Simon M., Goering, Steven K., and Campbell, Roy H. "Specifying Concurrent Systems with Delta-Grammars." Delta Working Papers, University of Illinois Department of Computer Science, Technical Report UIUCDCS-R-90-1597, 1990. - Delta Grammars. Kessler, Robert R. and Evans, John D. "DPOS: A Metalanguage and Programming Environment for Parallel Processors." University of Utah Department of Computer Science, 1990. - multiple channel types Pong, Man-Chi. "A Graphical Language for Concurrent Programming." IEEE Computer Society 1986 Workshop on Visual Languages, Dallas, Texas, June 1986. Pages 26-33. - Pigsty Roberts, M. and Samwell, P. M. "A Visual Programming Systems for the Development of Parallel Software." Second International Conference on Software Engineering for Real Time Systems, Institution of Electrical Engineers, September 1989. Pages 75-79. - GILT Rogers, Gregory Scott. "Visual Programming using Graphics, Relations, and Classes." Ph.D. Thesis, University of Illinois Department of Computer Science, Technical Report UIUCDCS-R- 90-1632, 1990. - contains short section (2 pgs) on concurrency. Roman, Gruia-Catalin, and Cox, Kenneth C. "A Declarative Approach to Visualizing Concurrent Computations." IEEE Computer, October 1989, pages 25-36. - Algorithm animation of shared-dataspace concurrency. Salmons, Jim and Babitsky, Timlynn. "Prograph: A Turtle Geometric Introduction," MacTech Quarterly, Spring 89, pages 52-57. - Prograph is an object-oriented dataflow language, which allows some concurrency. Shu, Nan C. Visual Programming. New York: Van Nostrant Reinhold Company Inc., 1988. Sobek, S., Azam, M., and Browne, J. C. "Architecture and Language Independent Parallel Programming: A Feasibility Demonstration." Proceedings of the 1988 International Conference on Parallel Processing, Volume II:Software, August 1988. Pages 80- 83. - CODE Stotts, P. David. "Graphical Operational Semantics for Visual Parallel Programming," in Visual Languages and Visual Programming, edited by Shi-Kuo Chang. New York: Plenum Press, 1990. Stotts, P. David. "Expressing High-Level Visual Concurrency Structures in the PFG Kernel Language."1988 IEEE Workshop on Visual Languages, October 1988, Pittsburgh, Pennsylvania, pages 168-174. - Shortest version of Stott's PFG paper. Stotts, P. David (University of Maryland). "The PFG Language: Visual Programming for Concurrent Computation." Proceedings of the 1988 International Conference on Parallel Processing, Volume II:Software, August 1988, Pennsylvania State University, pages 72-79. - This version emphasizes the semantics and syntax of PFG. Stotts, P. D. and Furuta, R. "Temporal Hyperprogramming." Journal of Visual Languages and Computing. September 1990, pages 237-254. - Trellis model of temporal hypertext. Tomboulian, Sherryl, Crockett, Thomas W., and Middleton, David. "A Visual Programming Environment for the Navier-Stokes Computer." Proceedings of the 1988 International Conference on Parallel Processing, Volume II:Software, August 1988, pages 67-71. - Visual microcoding for a pipelined computer.