Mostrando recursos 161 - 180 de 10.431

  1. Probable Innocence Revisited

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  2. Languages for Concurrency

    Palamidessi , Catuscia; Valencia , Frank ,
    International audience

  3. A Congruence Format for Name-passing Calculi

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

  4. Metrics for Action-labelled Quantitative Transition Systems

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

  5. Expressiveness of probabilistic \pi-calculi

    Pradalier , Sylvain; Palamidessi , Catuscia
    International audience

  6. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

    Palamidessi , Catuscia; Saraswat , Vijay; Valencia , Frank ,; Victor , Bjorn
    International audience

  7. Compositional Reasoning for Probabilistic Finite-State Behaviors

    Deng , Yuxin; Palamidessi , Catuscia; Pang , Jun
    We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.

  8. Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi

    Palamidessi , Catuscia
    International audience

  9. A randomized encoding of the pi-calculus with mixed choice

    Palamidessi , Catuscia; Herescu , Oltea Mihaela
    International audience

  10. Probabilistic and nondeterministic aspects of Anonymity

    Palamidessi , Catuscia
    International audience

  11. Separation of synchronous and asynchronous communication via testing

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

  12. Probable Innocence Revisited

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  13. Anonymity Protocols as Noisy Channels

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

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

    Chatzikokolakis , Konstantinos; Palamidessi , Catuscia
    International audience

  15. Axiomatizations for probabilistic finite-state behaviors

    Deng , Yuxin; Palamidessi , Catuscia
    International audience

  16. Expressiveness via Leader Election Problems

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

  17. A Declarative Framework for Security: Secure Concurrent Constraint Programming

    López , Hugo A.; Palamidessi , Catuscia; Pérez , Jorge Andrés; Rueda , Camilo; Valencia , Frank ,
    International audience

  18. Recursion vs Replication in Process Calculi: Expressiveness

    Palamidessi , Catuscia; Valencia , Frank ,
    International audience

  19. Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security

    Olarte , Carlos; Valencia , Frank D.
    International audience

  20. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

    Aranda , Jesus; Di Giusto , Cinzia; Palamidessi , Catuscia; Valencia , Frank ,
    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.