Sciweavers

39 search results - page 1 / 8

» mpc 2010

16

MPC
2010
Springer

171views Mathematics» more MPC 2010»

An Abstract Machine for the Old Value Retrieval

13 years 10 months ago

An Abstract Machine for the Old Value Retrieval

Download mpc2010.fsg.ulaval.ca

Piotr Kosiuczenko

claim paper

Read More »

14

MPC
2010
Springer

156views Mathematics» more MPC 2010»

Compositionality of Secure Information Flow

13 years 9 months ago

Compositionality of Secure Information Flow

Download mpc-amast2010.fsg.ulaval.ca

Catuscia Palamidessi

claim paper

Read More »

12

MPC
2010
Springer

141views Mathematics» more MPC 2010»

Sampling, Splitting and Merging in Coinductive Stream Calculus

13 years 10 months ago

Sampling, Splitting and Merging in Coinductive Stream Calculus

Download homepages.cwi.nl

Milad Niqui, Jan Rutten

claim paper

Read More »

10

MPC
2010
Springer

164views Mathematics» more MPC 2010»

On Automated Program Construction and Verification

13 years 10 months ago

On Automated Program Construction and Verification

Download mpc-amast2010.fsg.ulaval.ca

Rudolf Berghammer, Georg Struth

claim paper

Read More »

13

MPC
2010
Springer

165views Mathematics» more MPC 2010»

Generic Point-free Lenses

13 years 9 months ago

Generic Point-free Lenses

Download mpc-amast2010.fsg.ulaval.ca

Hugo Pacheco, Alcino Cunha

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »