Mostrando recursos 141 - 160 de 10.481

  1. Focusing and Polarization in Intuitionistic Logic

    Liang , Chuck; Miller , Dale
    International audience

  2. Control Reduction Theories: the Benefit of Structural Substitution

    Ariola , Zena; Herbelin , Hugo
    L'article contient une annexe historique par Matthias Felleisen sur la génèse des opérateurs de contrôle à l'université d'Indiana à la fin des années 80.

  3. A Type-Theoretic Foundation of Delimited Continuations

    Ariola , Zena; Herbelin , Hugo; Sabry , Amr
    International audience

  4. Weak Probabilistic Anonymity

    Deng , Yuxin; Palamidessi , Catuscia; Pang , Jun
    International audience

  5. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  6. Separation of synchronous and asynchronous communication via testing

    Cacciagrano , Diletta; Corradini , Flavio; Palamidessi , Catuscia
    International audience

  7. Axiomatizations for probabilistic finite-state behaviors

    Deng , Yuxin; Palamidessi , Catuscia
    International audience

  8. Fair Pi

    Cacciagrano , Diletta; Corradini , Flavio; Palamidessi , Catuscia
    International audience

  9. Probability of Error in Information-Hiding Protocols

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia; Panangaden , Prakash
    International audience

  10. Making Random Choices Invisible to the Scheduler

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  11. Universal Timed Concurrent Constraint Programming

    Olarte , Carlos; Palamidessi , Catuscia; Valencia , Frank ,
    International audience

  12. Symbolic Bisimulation for Probabilistic Systems

    Wu , Peng; Palamidessi , Catuscia; Lin , Huimin
    International audience

  13. Model checking the probabilistic pi-calculus

    Norman , Gethin; Palamidessi , Catuscia; Parker , David; Wu , Peng
    International audience

  14. A Probabilistic Applied Pi-Calculus

    Goubault-Larrecq , Jean; Palamidessi , Catuscia; Troina , Angelo
    International audience

  15. Tutorial on separation results in process calculi via leader election problems

    Vigliotti , Maria Grazia; Phillips , Iain; Palamidessi , Catuscia
    International audience

  16. Probable Innocence Revisited

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  17. Languages for Concurrency

    Palamidessi , Catuscia; Valencia , Frank ,
    International audience

  18. A Congruence Format for Name-passing Calculi

    Ziegler , Axelle; Miller , Dale; Palamidessi , Catuscia
    International audience

  19. Metrics for Action-labelled Quantitative Transition Systems

    Deng , Yuxin; Chothia , Tom; Palamidessi , Catuscia; Pang , Jun
    International audience

  20. Expressiveness of probabilistic \pi-calculi

    Pradalier , Sylvain; Palamidessi , Catuscia
    International audience

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.