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

15 years 4 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

15 years 4 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

15 years 4 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

15 years 4 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers