US Government Printing O#ce, Washington DC. The Ada Programming Language, 1983. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (34 citations) (Correct)
....reciprocal communication among multiple processes becomes an important element in the achievement of the goals of applications. Many programming languages and formalisms have been proposed so far for the description of software based on communication. As programming languages, we have CSP [9] Ada [33], languages based on Actors [2] POOL [4] ABCL [39] Concurrent Smalltalk [38] or more recently Pict and other # calculus based languages [7, 27, 34, 13] As formalisms, we have CCS [19] Theoretical CSP [10] # calculus [22] and other process algebras. In another vein, we have functional ....
....continuous interaction would arise naturally and usefully. Such examples are discussed in the next section. In addition to call return and method invocation, we can similarly represent other communication patterns in use with ease, for example asynchronous call return (which includes rendez vous [33] and future [2] and simple message passing. For the space sake we leave their treatment to [12] Section 6 gives a brief discussion on the significance of specific notations for these fixed communication patterns in language design. 4. Representing Communication (2) Complex Communication ....
US Government Printing O#ce, Washington DC. The Ada Programming Language, 1983.
Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (34 citations) (Correct)
....reciprocal communication among multiple processes becomes an important element in the achievement of the goals of applications. Many programming languages and formalisms have been proposed so far for the description of software based on communication. As programming languages, we have CSP [8] Ada [29], languages based on Actors [2] POOL [4] ABCL [34] Concurrent Smalltalk [33] or more recently Pict and other calculus based languages [7, 12, 24, 30] As formalisms, we have CCS [16] Theoretical CSP [9] calculus [19] and other process algebras. In another vein, we have functional ....
....continuous interaction would arise naturally and usefully. Such examples are discussed in the next section. In addition to call return and method invocation, we can similarly represent other communication patterns in use with ease, for example asynchronous call return (which includes rendez vous [29] and future [2] and simple message passing. For the space sake we leave their treatment to [11] Section 6 gives a brief discussion on the significance of specific notations for these fixed communication patterns in language design. 4. Representing Communication (2) Complex Communication ....
US Government Printing Office, Washington DC. The Ada Programming Language, 1983.
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