CONCUR 2011 - PDF Preprint Papers

CONCUR 2011 Seminar on Concurrency

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CONCUR-2011 Paper

click to vote

CONCUR
2011
Springer

21views Distributed And Parallel Com...» more CONCUR 2011»

A Spectrum of Behavioral Relations over LTSs on Probability Distributions

5 months 4 days ago

Download www.math.unipd.it

Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...

Silvia Crafa, Francesco Ranzato

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	21	A Spectrum of Behavioral Relations over LTSs on Probability Distributions	claim
2	19	Reasoning about Threads with Bounded Lock Chains	claim
3	18	Tractable Reasoning in a Fragment of Separation Logic	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers