Search Sciweavers | Sciweavers

852 search results - page 18 / 171

» entcs 2010

click to vote

ENTCS
2007

71views more ENTCS 2007»

Building Verification Condition Generators by Compositional Extension

14 years 10 months ago

Download www.win.tue.nl

A. J. van Leeuwen

claim paper

Read More »

click to vote

ENTCS
2007

89views more ENTCS 2007»

A Well-behaved LTS for the Pi-calculus: (Abstract)

14 years 10 months ago

Download www.cse.unsw.edu.au

Pawel Sobocinski

claim paper

Read More »

click to vote

ENTCS
2007

69views more ENTCS 2007»

Bi-inductive Structural Semantics: (Extended Abstract)

14 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

14 years 10 months ago

Download hal.archives-ouvertes.fr

Ilaria Castellani

claim paper

Read More »

click to vote

ENTCS
2007

87views more ENTCS 2007»

A Congruence Rule Format with Universal Quantification

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers