Search Sciweavers | Sciweavers

852 search results - page 9 / 171

» entcs 2010

click to vote

ENTCS
2006

96views more ENTCS 2006»

Timed CSP: A Retrospective

14 years 10 months ago

Download www.comlab.ox.ac.uk

Joël Ouaknine, Steve Schneider

claim paper

Read More »

click to vote

ENTCS
2006

130views more ENTCS 2006»

Constraint-Based Concurrency and Beyond

14 years 10 months ago

Download nicosia.is.s.u-tokyo.ac.jp

Kazunori Ueda

claim paper

Read More »

Voted

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

14 years 10 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

click to vote

ENTCS
2006

111views more ENTCS 2006»

What are the Fundamental Structures of Concurrency?: We still don't know!

14 years 10 months ago

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

click to vote

ENTCS
2006

108views more ENTCS 2006»

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers