Sciweavers

69

Voted

ACTA
2015

3views more ACTA 2015»

Revisiting causality, coalgebraically

10 years 1 days ago

Download www.di.unipi.it

Roberto Bruni, Ugo Montanari, Matteo Sammartino

claim paper

Read More »

71

Voted

ACTA
2015

2views more ACTA 2015»

10 years 1 days ago

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

Download www.sti.uniurb.it

The logic PML is a probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterm...

Marco Bernardo, Rocco De Nicola, Michele Loreti

claim paper

Read More »

73

Voted

ACTA
2015

1views more ACTA 2015»

Synthesis and reengineering of persistent systems

10 years 1 days ago

Download www.researchgate.net

Eike Best, Raymond R. Devillers

claim paper

Read More »

222

Voted

ACTA
2015

10views more ACTA 2015»

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

10 years 1 days ago

Download rtsys.informatik.uni-kiel.de

The synchronous model of concurrent computation (SMoCC) is well established for programming languages in the domain of safety-critical reactive and embedded systems. Translated int...

Joaquin Aguado, Michael Mendler, Reinhard von Hanx...

claim paper

Read More »

62

Voted

ACTA
2015

6views more ACTA 2015»

CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assum

10 years 1 days ago

Download ssrg.nicta.com.au

Rob J. van Glabbeek, Peter Höfner

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers