Titlebook: CONCUR 2011 -- Concurrency Theory; 22nd International C Joost-Pieter Katoen,Barbara König Conference proceedings 2011 Springer-Verlag GmbH

不让做的事

书目名称CONCUR 2011 -- Concurrency Theory影响因子(影响力)




书目名称CONCUR 2011 -- Concurrency Theory影响因子(影响力)学科排名




书目名称CONCUR 2011 -- Concurrency Theory网络公开度




书目名称CONCUR 2011 -- Concurrency Theory网络公开度学科排名




书目名称CONCUR 2011 -- Concurrency Theory被引频次




书目名称CONCUR 2011 -- Concurrency Theory被引频次学科排名




书目名称CONCUR 2011 -- Concurrency Theory年度引用




书目名称CONCUR 2011 -- Concurrency Theory年度引用学科排名




书目名称CONCUR 2011 -- Concurrency Theory读者反馈




书目名称CONCUR 2011 -- Concurrency Theory读者反馈学科排名

colloquial

Generalized Universality made highly available to all of them. At the heart of this fundamental reduction lies the so called . abstraction, key to providing the illusion of single shared service, despite replication..Yet, as universal as it may be, consensus is just one specific instance of a more general abstraction, . wh

发起

Causal Nets: A Modeling Language Tailored towards Process Discoveryhe primary reason is that conventional modeling languages (e.g., Petri nets, BPMN, EPCs, and ULM ADs) have difficulties representing the observed behavior properly and/or succinctly. Moreover, discovered process models tend to have deadlocks and livelocks. Therefore, we advocate a new representation

COMMA

On Causal Semantics of Petri Netsondition/event-systems, the notion of process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. A wellknown problem is how to generalise this notion for nets where places may carry several tokens. Goltz and Reisi

巨头

META

Timed Automata Can Always Be Made Implementablel systems, properties proven formally on a timed automaton may be lost at implementation. In order to ensure implementability, several approaches have been considered, corresponding to different hypotheses on the implementation platform. We address two of these: A timed automaton is samplable if its

META

Coarse Abstractions Make Zeno Behaviours Difficult to Detecto detect them, or dually, find runs that are non-Zeno. Over the years important improvements have been obtained in checking reachability properties for timed automata. We show that some of these very efficient optimizations make testing for Zeno runs costly. In particular we show NP-completeness for

NATTY

CHOKE

A Spectrum of Behavioral Relations over LTSs on Probability Distributionsterizations of the main behavioral relations on PLTSs have been studied. In particular, Parma and Segala [2007] define a probabilistic Hennessy-Milner logic interpreted over distributions, whose logical equivalence/preorder when restricted to Dirac distributions coincide with standard bisimulation/s

nauseate

Fixed-Delay Events in Generalized Semi-Markov Processes Revisitedlowing two fixed-delay events and one variable-delay event may cause an unstable behavior of a GSMP. In particular, we show that a frequency of a given state may not be defined for almost all runs (or more generally, an invariant measure may not exist). We use this observation to disprove several re