P. America and J.W. de Bakker. Designing equivalent models for process creation. Theoretical Computer Science, 60:109--176, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (1 citation) (Correct)
....induced by the type of transition system specifications. In the present paper we propose yet another format for transition system specifications which is suitably expressive to describe continuation style transition systems, as has been frequently used in comparative (metric) semantics, [AB88, AR89, Rut90b, BV91b, BV89, Bak91, EV93, BV92b]. The transition system specifications of these papers do not fit in the formats mentioned above, but will fit into the format introduced by the present paper, that we will call the stalk format. One can view it as a many sorted extension of the single sorted tyftformat without lookahead, but ....
....example of an (abstract) imperative programming language, for which the use of a many sorted signature in describing its transitional behavior is pivotal when aiming for a comparison with an equivalent continuation style denotational semantics. We base our treatment on the presentation of [AB88, BV91a] and refer to these papers for a more detailed explanation of the various transition schemes. The transition system specification T pc is given by T pc = Sigma pc ; A; f (Act) a , Rec) X , Seq) Alt) 1 , Alt) 2 , New) Par) 1 , Par) 2 j a 2 A; X 2 X g) Thus the configurations are terms ....
[Article contains additional citation context not shown here]
P. America and J.W. de Bakker. Designing equivalent models for process creation. Theoretical Computer Science, 60:109--176, 1988.
Metric Semantics for Second Order Communication - de Bakker, al. (1995) (1 citation) Self-citation (De bakker) (Correct)
....language construct parallel composition by process creation. It has been shown by Aalbersberg and America [AA88] that the expressive power of parallel composition and process creation are incomparable. For metric semantic models for process creation we refer the reader to America and De Bakker s [AB88]. 9 Recently Lenisa [Len95] has extended this theory along the lines of Pitts [Pit94] and applied it in our setting. In a distributed setting it would be meaningful to transmit a closure, a pair consisting of a statement and a local store, rather than just a statement as we do here. This ....
P. America and J.W. de Bakker. Designing Equivalent Models for Process Creation. Theoretical Computer Science, 60(2):109--176, September 1988.
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
No context found.
P. America and J.W. de Bakker, Designing equivalent models for process creation, Theoretical Computer Science, 60 (2) (1988) pp. 109-176
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