Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» concur 2005

152

click to vote

CONCUR
2005
Springer

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

Multiport Interaction Nets and Concurrency

16 years 13 days ago

Download www-lipn.univ-paris13.fr

Damiano Mazza

claim paper

Read More »

118

click to vote

CONCUR
2005
Springer

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

A Behavioural Pseudometric for Metric Labelled Transition Systems

16 years 13 days ago

Download www.cse.yorku.ca

Franck van Breugel

claim paper

Read More »

102

click to vote

CONCUR
2005
Springer

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

Probabilistic Anonymity

16 years 13 days ago

Download i.stanford.edu

Mohit Bhargava, Catuscia Palamidessi

claim paper

Read More »

133

click to vote

CONCUR
2005
Springer

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

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

16 years 13 days ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

147

click to vote

CONCUR
2005
Springer

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

Synthesis of Distributed Systems from Knowledge-Based Specifications

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers