Non déterminisme And NotLuigi Liquori
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000384 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity properties of boolean BI through relational models |
| 000459 | Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and reachability in Event―B |
| 000464 | Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic polynomial-time semantics for a protocol security logic |
| 000517 | Dominique Larchey-Wendling [France] | Bounding resource consumption with Gödel-Dummett logics |
| 000621 | Cesare Tinelli [États-Unis] ; Calogero G. Zarba [France] | Combining decision procedures for sorted theories |
| 000767 | M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
| 000797 | Serge Grigorieff [France] ; Jean-Yves Marion [France] | Kolmogorov complexity and non-determinism |
| 000C80 | D. Galmiche [France] ; E. Boudinet [France] | Proofs, concurrent objects and computations in a FILL framework |
| 000D08 | P. Fonseca [France, Portugal] ; Z. Mammeri [France] | A framework for the analysis of non-deterministic clock synchronisation algorithms |
| 000D09 | M. Vittek [France] | A compiler for nondeterministic term rewriting systems |
| This area was generated with Dilib version V0.6.33. |  |