Search Sciweavers | Sciweavers

709 search results - page 9 / 142

» An Equational Theory for Transactions

click to vote

RTA
2005
Springer

125views Theoretical Computer Science» more RTA 2005»

Intruder Deduction for AC-Like Equational Theories with Homomorphisms

14 years 4 months ago

Download www.lsv.ens-cachan.fr

Cryptographic protocols are small programs which involve a high level of concurrency and which are diﬃcult to analyze by hand. The most successful methods to verify such protocol...

Pascal Lafourcade, Denis Lugiez, Ralf Treinen

claim paper

Read More »

click to vote

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

14 years 5 months ago

Download disi.unitn.it

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

click to vote

ICCS
2003
Springer

87views Applied Computing» more ICCS 2003»

Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations

14 years 4 months ago

Download matan.isu.ru

Michael V. Falaleev, Olga A. Romanova, Nicholas A....

claim paper

Read More »

click to vote

PPAM
2001
Springer

112views Distributed And Parallel Com...» more PPAM 2001»

Theory and Solution Techniques for Singular Boundary Value Problems in Ordinary Differential Equations

14 years 3 months ago

Download www.math.tuwien.ac.at

Winfried Auzinger, Othmar Koch, Ewa Weinmülle...

claim paper

Read More »

click to vote

FTP
1998
Springer

214views Automated Reasoning» more FTP 1998»

An Equational Re-engineering of Set Theories

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers