Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» concur 2005

114

Voted

CONCUR
2005
Springer

94views Distributed And Parallel Com...» more CONCUR 2005»

Multiport Interaction Nets and Concurrency

15 years 9 months ago

Download www-lipn.univ-paris13.fr

Damiano Mazza

claim paper

Read More »

click to vote

CONCUR
2005
Springer

82views Distributed And Parallel Com...» more CONCUR 2005»

A Behavioural Pseudometric for Metric Labelled Transition Systems

15 years 9 months ago

Download www.cse.yorku.ca

Franck van Breugel

claim paper

Read More »

click to vote

CONCUR
2005
Springer

108views Distributed And Parallel Com...» more CONCUR 2005»

Probabilistic Anonymity

15 years 9 months ago

Download i.stanford.edu

Mohit Bhargava, Catuscia Palamidessi

claim paper

Read More »

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 9 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

109

Voted

CONCUR
2005
Springer

98views Distributed And Parallel Com...» more CONCUR 2005»

Synthesis of Distributed Systems from Knowledge-Based Specifications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers