113 research outputs found
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
We propose a notion of convergence-sensitive bisimulation that is built just
over the notions of (internal) reduction and of (static) context. In the
framework of timed CCS, we characterise this notion of `contextual'
bisimulation via the usual labelled transition system. We also remark that it
provides a suitable semantic framework for a fully abstract embedding of
untimed processes into timed ones. Finally, we show that the notion can be
refined to include sensitivity to divergence
Divergence-Preserving Branching Bisimilarity
This note considers the notion of divergence-preserving branching
bisimilarity. It briefly surveys results pertaining to the notion that have
been obtained in the past one-and-a-half decade, discusses its role in the
study of expressiveness of process calculi, and concludes with some suggestions
for future work.Comment: In Proceedings EXPRESS/SOS 2020, arXiv:2008.1241
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration
AbstractWe study the divergent-sensitive spectrum of weak bisimulation equivalences in the setting of process algebra. To represent the infinite behavior, we consider the prefix iteration extension of a fragment of Milner's CCS. The prefix iteration operator is a variant on the binary version of the Kleene star operator obtained by restricting the first argument to be an atomic action and allows us to capture the notion of recursion in a pure algebraic way. We investigate four typical divergent-sensitive weak bisimulation equivalences, namely divergent, stable, completed and divergent stable weak bisimulation equivalences from an axiomatic perspective. A lattice of distinguishing axioms is developed and thus pure equational axiomatizations for these congruences are obtained. A large part of the current paper is devoted to a considerable complicated proof for completeness. This work, to some extent, sheds light on distinct semantics of divergence
AN INTIMATE INSIGHT ON PSYCHOPATHY AND A NOVEL HERMENEUTIC PSYCHOLOGICAL SCIENCE
Abstract This paper is rather a profound hermeneutic enunciation putting into question our present understanding of psychopathy. It further articulates, in complement, a novel theoretical and methodological conceptualisation for a hermeneutic psychological science. Methodology-wise, it puts into question a traditional more or less categorical and mechanical approach to the social and behavioural sciences as it strives to introduce a creative and insightful approach for the articulation of ideas. It rather seeks to construe the scientific method as being more about falsifiability and validation but driven by a sense of creative understanding and insight of notions laid out as open-ended conceptualisations. Theory-wise, it sees continuity between anthropology and psychology as anthropopsychology behind an entropic construct of human psychology based on a recurrent re-institutionalisation mechanism for intemporal-preservation-entropy-or-contiguity–or–ontological-preservation
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
We prove that rooted divergence-preserving branching bisimilarity is a
congruence for the process specification language consisting of nil, action
prefix, choice, and the recursion construct
Revisiting Interactive Markov Chains
Abstract The usage of process algebras for the performance modeling and evaluation of concurrent systems turned out to be convenient due to their feature of compositionality. A particularly simple and elegant solution in this field is the calculus of Interactive Markov Chains (IMCs), where the behavior of processes is just represented by Continuous Time Markov Chains extended with action transitions representing process interaction. The main advantage of IMCs with respect to other existing approaches is that a notion of bisimulation which abstracts from Ï„-transitions ("complete" interactions) can be defined which is a congruence. However in the original definition of the calculus of IMCs the high potentiality of compositionally minimizing the system state space given by the usage of a "weak" notion of equivalence and the elegance of the approach is somehow limited by the fact that the equivalence adopted over action transitions is a finer variant of Milner's observational congruence that distinguishes Ï„-divergent "Zeno" processes from non-divergent ones. In this paper we show that it is possible to reformulate the calculus of IMCs in such a way that we can just rely on simple standard observational congruence. Moreover we show that the new calculus is the first Markovian process algebra allowing for a new notion of Markovian bisimulation equivalence which is coarser than the standard one
A Fully Abstract Denotational Model for Observational Congruence
Denotational Model for Observational Congruence Anna Ing olfsd ottir Andrea Schalk BRICS Report Series RS-95-40 ISSN 0909-0878 August 1995 Copyright c fl 1995, BRICS, Department of Computer Science University of Aarhus. All rights reserved. Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS Department of Computer Science University of Aarhus Ny Munkegade, building 540 DK - 8000 Aarhus C Denmark Telephone:+45 8942 3360 Telefax: +45 8942 3255 Internet: [email protected] BRICS publications are in general accessible through WWW and anonymous FTP: http://www.brics.aau.dk/BRICS/ ftp ftp.brics.aau.dk (cd pub/BRICS) A Fully Abstract Denotational Model for Observational Congruence Anna Ing'olfsd'ottir BRICS Dep.of Maths and Computer Science ..
- …