Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» concur 2005

122

Voted

CONCUR
2005
Springer

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

Multiport Interaction Nets and Concurrency

15 years 10 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 10 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 10 months ago

Download i.stanford.edu

Mohit Bhargava, Catuscia Palamidessi

claim paper

Read More »

109

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 10 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

116

Voted

CONCUR
2005
Springer

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

Synthesis of Distributed Systems from Knowledge-Based Specifications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers