Sciweavers

14

CONCUR
2009
Springer

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

Testing Finitary Probabilistic Processes

13 years 11 months ago

Testing Finitary Probabilistic Processes

Download www.scss.tcd.ie

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

claim paper

Read More »

11

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

13 years 11 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 »

26

CONCUR
2009
Springer

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

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

13 years 11 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 »

9

CONCUR
2009
Springer

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

Secure Enforcement for Global Process Specifications

13 years 11 months ago

Secure Enforcement for Global Process Specifications

Download research.microsoft.com

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

claim paper

Read More »