J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LCNS 224 Springer, Berlin, 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....processes having in each state only finitely many possible ways to proceed. The material pertaining to infinitely branching processes coloured brown in the electronic version of this paper can easily be omitted in first reading. 4 The term uniform concurrency is employed by De Bakker et al. [8]. 5 Strictly speaking processes do not perform actions, but systems do. However, for reasons of convenience, this paper sometimes uses the word process, when actually referring to a system of which the process is the behaviour. 6 I use the word domain in the sense of universal algebra; it can ....

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker (1986): Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever & G. Rozenberg, editors: Current Trends in Concurrency, LNCS 224, Springer, pp. 51--121.

....process algebra. Supported by NSF grants CCR 9003441 and CCR 9223183. The work on this paper was initiated during a visit of the author to Amsterdam paid by the HCM network EXPRESS. y Supported by ESPRIT BRA 7166 Concur2. 1 However, thus far SOS theory only applies to what De Bakker et.al. [6] call uniform languages: the atomic actions of the language remain uninterpreted and there is no speci cation for these actions in terms of state transforming functions. This means in particular that there is no general SOS format that covers Plotkin s original semantics of imperative programs ....

J. d. Bakker, J. Kok, J.-J. Meyer, E.-R. Olderog, and J. Zucker. Contrasting themes in the semantics of imperative concurrency. In J. de Bakker, W. d. Roever, and G. Rozenberg, editors, Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science, pages 51-121. Springer-Verlag, 1986.

....from erroneous descriptions 2 Ridha Kh edri and Jules Desharnais SERG Report 382 of the intended behaviour, and con icts about resources in concurrent systems only complicate the situation. The term uniform concurrency was used for the rst time to qualify such methods by De Bakker et al. in [5]. In this paper, we present a relational model for processes and we introduce various operators expressing di erent perceptions of concurrency: interleaved, totally synchronous, and true concurrency. In the next section, we present the relational background of this paper. Next, we present the ....

J. W. de Bakker, J. N. Kok, J. J. C. Meyer, E. R. Olderog, and J. I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Current trends in concurrency, volume 224 of Lecture Notes in Computer Science, pages 51-121, Berlin, 1986. Springer-Verlag.

.... First of all we separate the logic programming details (such as most general unifiers and renaming indices) in Prolog from the specification of the flow of control, e.g. backtracking, the cut operator) This is achieved by extracting the uniform language B from Prolog uniform in the sense of [BKMOZ] which contains only the latter issues. Fitting within the Logic Programming without Logic approach, Ba2] our denotational model developed for the abstract backtracking language has enough flexibility for further elaboration to a nonuniform denotational model of Prolog itself. Moreover, ....

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker, "Contrasting Themes in the Semantics of Imperative Concurrency," pp. 51-121 in Current Trends in Concurrency: Overviews and Tutorials , J.W. de Bakker, W.P de Roever & G. Rozenberg (eds.), LNCS 224 (1986).

....starting point of this paper is [KR]a where for the first time the observation was made that compact equivalence proofs could be realized using higher order transformations. To a great extent, we also benefit from the work on metric semantics of concurrency performed by De Bakker e.a. e.g. BZ] [BKMOZ], BM]a, Ba2] It is a pleasure to thank the forum formed by the members of the working group on concurrency, Jaco de Bakker, Frank de Boer, Joost Kok, Jan Rutten and others for their comments and the good scientific atmosphere they provided. We are also indebted to Philippe Darondeau for his ....

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker, "Contrasting Themes in the Semantics of Imperative Concurrency," pp. 51-121 in Current Trends in Concurrency: Overviews and Tutorials, J.W. de Bakker, W.P de Roever & G. Rozenberg (eds.), LNCS 224 (1986).

....To keep the logic as simple as possible the temporal operators only reach over action expressions and not over transaction expressions. The semantics of (trans)action expressions has two components. The first component is an algebra of uninterpreted actions (called a uniform semantics elsewhere [3]) which allows us to interpret equalities between action expressions without taking their effect into account. In the algebraic semantics, each action expression will be interpreted as a choice over possible steps. Due to a lack of space we refer to [7] for a formal account of this part. Most ....

J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LNCS 224 Springer, Berlin, 1986.

....negation. Definition 2.1 The set Act of action expressions is given by the following BNF: ff : Gamma ajanyjfailjff 1 ff 2 jff 1 ff 2 jff The semantics of action expressions has two components. The first component is an algebra of uninterpreted actions (called a uniform semantics elsewhere [3]) which allows us to interpret equalities between action expressions without taking their effect into account. Due to lack of space we refer to [7] for a formal account of this part. The following intuitions should suffice here. In the algebraic semantics, each action expression will be ....

J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LNCS 224 Springer, Berlin, 1986.

....parallel language, featuring atomic actions a, procedure calls x, sequential composition , nondeterministic choice and parallel merge . The language is uniform: the meaning of a statement will be a set of streams, where streams are sequences of atomic actions. Uniform taken in the sense of [BKMOZ], streams taken in the sense of [Me] A subclass of the class of all such sets can be turned into a cpo using the Egli Milner ordering (as in [Pl] Such a powerdomain can be manipulated using techniques as developed in [MV] Strictly speaking, in [MV]a the Smyth ordering of [Sm] is used, ....

.... s 2 or a concurrent execution s 1 s 2 . Our main interest here is in the programming concepts embodied by the syntactical operators and by recursion. Therefore, the programming language Prog under consideration is kept uniform or schematic, since the elementary actions are left unspecified. See [BKMOZ]a for a discussion on uniform vs. non uniform semantics. Let d = x 1 s 1 : x n s n be a declaration in Decl. Define d(x ) s i if x = x i for some i 1, n , and d (x ) x otherwise. Note that by this convention a procedure variable is always declared, since by default it has ....

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker, "Contrasting Themes in the Semantics of Imperative Concurrency," pp. 51-121 in Current Trends in Concurrency: Overviews and Tutorials, J.W. de Bakker, W.P de Roever & G. Rozenberg (eds.), LNCS 224, Springer (1986).

....of abstraction will be considered. The reader should therefore keep in mind that all forthcoming testing scenarios, notions of observability, preorders and equivalences are in fact parameterized by this choice. Throughout this paper I will restrict attention to the treatment of uniform concurrency [6]. This means that the internal structure of the actions a 2 A is not investigated. So it remains unspecified if these actions are in fact assignments to variables or the moves of a chess player or anything else. a b z . c replicate a b z . replicate Figure 1: A generative and a reactive ....

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker (1986): Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever & G. Rozenberg, editors: Current Trends in Concurrency, Lecture Notes in Computer Science 224, Springer-Verlag, pp. 51--121.

No context found.

J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LCNS 224 Springer, Berlin, 1986.

No context found.

J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LCNS 224 Springer, Berlin, 1986.

No context found.

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LNCS 224 Springer, Berlin, 1986.

No context found.

J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51--121. LCNS 224 Springer, Berlin, 1986.

No context found.

J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog and J.I. Zucker, Contrasting themes in the semantics of imperative concurrency, in: Current Trends in Concurrency: Overviews and Tutorials, J.W. de Bakker, W.P. de Roever and G. Rozenberg (eds.), Lecture Notes in Computer Science 224, Springer (1986) pp. 51-121

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