Treatment of Repeated Letdowns in Coordinated Consistent Recovery Line Compilation for Mobile Distributed Systems

We put forward a least_int_method (least interactive method) orchestrated CRL-compilation (consistent recovery line compilation) etiquette for non- deterministic Mob_DS (Mobile Distributed Systems); where no inoperable reinstatement-points are recorded. Recurrent terminations of CRL-compilation procedure may happen in Mobile_DS due to exhausted battery, non-voluntary disconnections of Mob_Nodes, or poor wireless connectivity. Therefore, we put forward that in the first stage, all pertinent Mob_Nodes will capture transient reinstatement-point only. Transient reinstatement-point is stored on the memory of Mob_Node only. In this case, if some method fails to capture its reinstatement-point in the first stage, then Mob_Nodes need to abandon their transient reinstatement-points only. In this way, we try to abate the loss of CRL-compilation effort when any method fails to capture its reinstatement-point in harmonization with others. We also try to reduce the CRL- compilation time and intrusion time of methods by limiting CRL-compilation tree which may be formed in other etiquettes [2, 9, 10]. We captured the transitive dependencies during the normal execution by piggybacking causal-dependency-vectors onto computation communications.

Critical Note

Having introduced situated affectivity, I locate the contributions to this section within this new framework: Carr and colleagues argue that embodied emotional processes strongly (though not indispensably) influence cognitive and motivational tasks. Bypassing the debate on causal dependency (embeddedness) and co-constitution (extendedness), I propose the category of environmental affective scaffolding as the one Hobson’s contribution fits in. He stresses the essential impact an infant’s capacity for social-affective relatedness has on her cognitive development. The enactive approach, as introduced by Colombetti, accounts well for the dynamical couplings between two or more emoters (or an emoter and her environment). If more persons are involved, they constitute a case of distributed rather than extended affectivity, since no single individual is the hub of such an affective process. The contribution of Zahavi and Michael promises to apply the 4E approach to empathy. Considering environmental scaffolds to empathy might enrich it.

Further Results on Partial Order Equivalences on Infinite Systems

In [26], we investigated decidability issues for standard language equivalence for process description languages with two generalisations based on traditional approaches<br />for capturing non-interleaving behaviour: pomset equivalence reflecting global causal dependency, and location equivalence reflecting spatial distribution of events. In this paper, we continue by investigating the role played by TCSP-style renaming and hiding combinators with respect to decidability. One result of [26] was that in contrast to pomset equivalence, location equivalence remained decidable for a class of processes consisting of finite sets of BPP processes communicating in a TCSP manner. Here, we show that location equivalence becomes undecidable when either renaming or hiding is added to this class of processes. Furthermore, we investigate the weak versions of location and pomset equivalences.<br />We show that for BPP with prefixing, both weak pomset and weak location equivalence are decidable. Moreover, we show that weak location equivalence is undecidable for BPP semantically extended with CCS communication.