Search Sciweavers | Sciweavers

40 search results - page 1 / 8

» concur 2007

click to vote

CONCUR
2007
Springer

119views Distributed And Parallel Com...» more CONCUR 2007»

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

13 years 11 months ago

Download www.iis.sinica.edu.tw

Bow-Yaw Wang

claim paper

Read More »

click to vote

CONCUR
2007
Springer

74views Distributed And Parallel Com...» more CONCUR 2007»

The Saga of the Axiomatization of Parallel Composition

13 years 11 months ago

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

click to vote

CONCUR
2007
Springer

101views Distributed And Parallel Com...» more CONCUR 2007»

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

13 years 11 months ago

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt

claim paper

Read More »

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

13 years 11 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper

Read More »

click to vote

CONCUR
2007
Springer

69views Distributed And Parallel Com...» more CONCUR 2007»

Topology-Dependent Abstractions of Broadcast Networks

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers