Álvaro

Results: 967



#Item
31

Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

Add to Reading List

Source URL: software.imdea.org

- Date: 2018-02-19 08:49:28
    32

    On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

    Add to Reading List

    Source URL: babel.ls.fi.upm.es

    - Date: 2016-05-31 09:35:40
      33

      Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira

      Add to Reading List

      Source URL: babel.ls.fi.upm.es

      - Date: 2016-05-31 08:00:52
        34

        Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

        Add to Reading List

        Source URL: babel.ls.fi.upm.es

        - Date: 2016-05-31 08:08:10
          35

          Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

          Add to Reading List

          Source URL: babel.ls.fi.upm.es

          - Date: 2016-05-31 08:02:48
            36

            A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2016-05-31 07:48:41
              37

              Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

              Add to Reading List

              Source URL: babel.ls.fi.upm.es

              - Date: 2018-01-15 12:22:36
                38

                The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez

                Add to Reading List

                Source URL: babel.ls.fi.upm.es

                - Date: 2016-05-31 09:31:40
                  39

                  Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

                  Add to Reading List

                  Source URL: ilyasergey.net

                  - Date: 2018-03-26 18:04:21
                    40

                    Álvaro García Pérez Generado desde: Editor CVN de FECYT Fecha del documento: v 1.4.0

                    Add to Reading List

                    Source URL: babel.ls.fi.upm.es

                    - Date: 2018-01-16 09:42:28
                      UPDATE