About: Towards Bridging Time and Causal Reversibility

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Towards Bridging Time and Causal Reversibility Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Towards Bridging Time and Causal Reversibility
Creator	Antares Mezzina, Claudio Bernardo, Marco
topic	covid:b631ebbcf9b269bfae2808d1d91a212adf4f95be#this
Source	PMC
abstract	Causal consistent reversibility blends causality and reversibility. For a concurrent system, it says that an action can be undone provided this has no consequences, thereby making it possible to bring the system back to a past consistent state. Time reversibility is considered instead in the performance evaluation field. A continuous-time Markov chain is time reversible if its behavior remains the same when the direction of time is reversed. We try to bridge these two theories by showing the conditions under which both causal consistent reversibility and time reversibility can be achieved in the setting of a stochastic process algebra.
has issue date	2020-05-13(xsd:dateTime)
bibo:doi	10.1007/978-3-030-50086-3_2
has license	no-cc
sha1sum (hex)	b631ebbcf9b269bfae2808d1d91a212adf4f95be
schema:url	https://doi.org/10.1007/978-3-030-50086-3_2
resource representing a document's title	Towards Bridging Time and Causal Reversibility
has PubMed Central identifier	PMC7281867
schema:publication	Formal Techniques for Distributed Objects, Components, and Systems
resource representing a document's body	covid:b631ebbcf9b269bfae2808d1d91a212adf4f95be#body_text
is http://vocab.deri.ie/void#inDataset of	https://covidontheweb.inria.fr:4443/about/id/http/ns.inria.fr/covid19/b631ebbcf9b269bfae2808d1d91a212adf4f95be
is schema:about of	named entity 'action' named entity 'concurrent system' named entity 'reversibility' named entity 'conditions' named entity 'stochastic process' named entity 'system' named entity 'reversibility' named entity 'Reversibility' named entity 'EVALUATION' named entity 'MARKOV CHAIN' named entity 'REVERSIBILITY' named entity 'STOCHASTIC PROCESS' named entity 'SAYS' named entity 'reversibility' named entity 'behavior' named entity 'performance evaluation' named entity 'causal' named entity 'Time reversibility' named entity 'product form' named entity 'forward rates' named entity 'time reversibility' named entity 'concurrency theory' named entity 'Act1' named entity 'identity function' named entity 'probability distribution' named entity 'positive recurrent' named entity 'automata' named entity 'steady-state' named entity 'state space' named entity 'continuous-time Markov chain' named entity 'global balance equation' named entity 'RCAT' named entity 'semantics' named entity 'time reversibility' named entity 'time reversibility' named entity 'coinitial' named entity 'evolution' named entity 'discrete-event simulation' named entity 'structural operational semantics' named entity 'time reversibility' named entity 'semantic' named entity 'calculus' named entity 'forward and backward' named entity 'idle process' named entity 'multiplication' named entity 'ergodic' named entity 'CTMC' named entity 'reversible computing' named entity 'coinitial' named entity 'calculus' named entity 'steady-state' named entity 'ergodicity' named entity 'probabilistic' named entity 'CTMC' named entity 'exponentially distributed' named entity 'numerical stability' named entity 'recursion' named entity 'time reversibility' named entity 'singleton set' named entity 'equivalence class' named entity 'time reversibility' named entity 'robotics' named entity 'probability distribution' named entity 'automata' named entity 'concurrent systems' named entity 'semantics' named entity 'probability' named entity 'time reversibility' named entity 'stochastic process' named entity 'Time reversibility' named entity 'automaton' named entity 'iff' named entity 'syntax' named entity 'expected number' named entity 'passive actions' named entity 'calculus' named entity 'coinitial' named entity 'ergodic' named entity 'causal consistency' named entity 'queueing networks'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software