Sciweavers

36

CONCUR
2009
Springer

86views Distributed And Parallel Com...» more CONCUR 2009»

Testing Finitary Probabilistic Processes

14 years 7 months ago

Testing Finitary Probabilistic Processes

Download www.scss.tcd.ie

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...

claim paper

Read More »

31

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

14 years 7 months ago

A Logic-Based Framework for Reasoning about Composite Data Structures

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

60

CONCUR
2009
Springer

263views Distributed And Parallel Com...» more CONCUR 2009»

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers

14 years 7 months ago

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers

Download www.cs.famaf.unc.edu.ar

Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...

Sergio Giro, Pedro R. D'Argenio, Luis María...

claim paper

Read More »

21

CONCUR
2009
Springer

79views Distributed And Parallel Com...» more CONCUR 2009»

Secure Enforcement for Global Process Specifications

14 years 7 months ago

Secure Enforcement for Global Process Specifications

Download research.microsoft.com

Jérémy Planul, Ricardo Corin, C&eacu...

claim paper

Read More »