Search Sciweavers | Sciweavers

37

CLEIEJ
2006

88views more CLEIEJ 2006»

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems

13 years 9 months ago

Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...

Carlos Olarte, Camilo Rueda

claim paper

Read More »

30

click to vote

LICS
1994
IEEE

106views Automated Reasoning» more LICS 1994»

Linear Logic, Totality and Full Completeness

14 years 1 months ago

Download homepages.ihug.co.nz

I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...

Ralph Loader

claim paper

Read More »

27

click to vote

CORR
2008
Springer

106views Education» more CORR 2008»

Topological Observations on Multiplicative Additive Linear Logic

13 years 9 months ago

Download hal.archives-ouvertes.fr

As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...

André Hirschowitz, Michel Hirschowitz, Tom ...

claim paper

Read More »

24

click to vote

SCP
2008

91views more SCP 2008»

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic

13 years 9 months ago

Download eprints.eemcs.utwente.nl

In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...

Jerry den Hartog

claim paper

Read More »

27

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 3 months ago