M. Boreale, R. DeNicola, and R. Pugliese. Asynchronous observations of processes. In Proc. FOSSACS'98, LNCS 1378, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....remain. For example, is it possible to eliminate the use of conditional equations in the characterisation of Or would there be a simpler algebraic characterisation for the sublanguage in which the external choice operator is only applied to input prexes, essentially the language studied in [3, 1] But perhaps the most important question is the extent to which our approach can be generalised to yield an equational characterisation of must testing over the calculus. The may testing preorder has been equationally characterised for an asynchronous version of CCS and for the asynchronous ....

M. Boreale, R. DeNicola, and R. Pugliese. Asynchronous observations of processes. In Proc. FOSSACS'98, LNCS 1378, 1998.

....actions with respect to a given information ordering on states. Characteristic instances of this class are the concurrent logic (constraint) languages. 1. 1 Comparison with related work Most existing works on process algebras of asynchronous communication concern particular programming languages [4, 6, 7, 10 12, 18]. One of the main contributions of this paper is to provide a general framework for studying algebraic properties of classes of languages, instead of one particular language. These classes represent different asynchronous communication mechanisms which are defined in terms of some general semantic ....

....granularity of interleaving defined in [9] and [5] apply to all instantiations of L which are based on a monoid structure of actions. Other generalizations concern the axiomatization of read and write actions and the axiomatization of certain commutativity properties of actions as described in [7, 4, 6]. We axiomatize these properties in terms of a general class of monotonic interpretations. 2 The language L and its operational semantics In this section we introduce the language L and define its operational semantics by means of a transition system. Definition 1. Let (a 2)A be an infinite but ....

M. Boreale, R. De Nicola, R. Pugliese. Asynchronous observations of processes. Proc. of FoSSaCS'98, Lecture Notes in Computer Science, Vol. 1378, pages 95--109, 1998.

.... For example, is it possible to eliminate the use of conditional equations in the characterisation of must Or would there be a simpler algebraic characterisation for the sublanguage in which the external choice operator is only applied to input pre xes, essentially the language studied in [3, 1] But perhaps the most important question is the extent to which our approach can be generalised to yield an equational characterisation of must testing over the calculus. The may testing preorder has been equationally characterised for an asynchronous version of CCS and for the asynchronous ....

M. Boreale, R. DeNicola, and R. Pugliese. Asynchronous observations of processes. In Proc. FOSSACS'98, LNCS 1378, 1998.

....S[0=b] and S[1=b] are equivalent in a truly asynchronous scenario, in which no ordering on the arrival of outgoing messages is guaranteed. It is therefore important to have a full understanding of may semantics in asynchronous settings and to have manageable reasoning techniques for it. In [7], we have investigated the impact of the testing framework as proposed in [11, 14] on the asynchronous variants of CCS and calculus. In particular, we have given an observers independent characterization of the asynchronous testing preorders. Here, we use this characterization as a starting ....

.... recX:P Gamma P 0 AR7 P l Gamma P 0 , Q l Gamma Q P j Q Gamma P 0 j Q 0 Figure 1: Operational semantics of ACCS (symmetric of rule AR5 omitted) 2 Asynchronous CCS In this section we present syntax, operational and testing semantics of asynchronous CCS (ACCS, for short) [7]. It differs from standard CCS because only guarded choices are used and output guards are not allowed. The absence of output guards forces asynchrony; it is not possible to define processes that causally depend on output actions. 2.1 Syntax We let N , ranged over by a; b; be an infinite ....

[Article contains additional citation context not shown here]

M. Boreale, R. De Nicola, R. Pugliese. Asynchronous Observations of Processes. FoSSaCS'98, LNCS , Springer, 1998.

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