Caires

Results: 37



#Item
11

Again, the Role of Conference Papers in Computer Science and Informatics Lu´ıs Caires NOVA Laboratory for Computer Science and Informatics Departamento de Inform´atica — Faculdade de Ciˆencias e Tecnologia Universi

Add to Reading List

Source URL: ctp.di.fct.unl.pt

Language: English - Date: 2015-12-05 07:52:21
    12

    Spatial Logic Model Checker User’s Guide version 1.15 Hugo Vieira and Lu´ıs Caires Departamento de Inform´ atica, FCT/UNL June 2009

    Add to Reading List

    Source URL: ctp.di.fct.unl.pt

    Language: English - Date: 2012-10-25 08:31:15
      13

      Tradução alexandre boide carolina caires coelho 88118_After_3_final.indd 3

      Add to Reading List

      Source URL: www.companhiadasletras.com.br

      Language: Portuguese - Date: 2015-11-03 08:53:24
        14

        Tradução carolina caires coelho juliana romeiro 88117_After_2_05.indd 3

        Add to Reading List

        Source URL: www.companhiadasletras.com.br

        Language: Portuguese - Date: 2015-11-03 08:53:24
          15

          Tradução alexandre boide carolina caires coelho 88118_After_4_05.indd 3

          Add to Reading List

          Source URL: www.companhiadasletras.com.br

          Language: Portuguese - Date: 2015-11-03 08:53:27
            16

            D S L: A T S Lu´ıs Caires ∗ Abstract Spatial logics for concurrency have been proposed with the aim of reasoning about distributi

            Add to Reading List

            Source URL: ctp.di.fct.unl.pt

            - Date: 2012-12-27 16:55:29
              17

              Logical Semantics of Types for Concurrency Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal Abstract. We motivate and present a logical semantic approach to

              Add to Reading List

              Source URL: ctp.di.fct.unl.pt

              - Date: 2012-12-27 17:00:49
                18

                Dependent Information Flow Types (long version with Appendix) Luísa Lourenço Luís Caires

                Add to Reading List

                Source URL: ctp.di.fct.unl.pt

                Language: English - Date: 2014-11-02 17:12:58
                  19

                  Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal

                  Add to Reading List

                  Source URL: ctp.di.fct.unl.pt

                  Language: English - Date: 2012-09-27 14:27:11
                    20

                    Substructural Typestates Filipe Milit˜ao Jonathan Aldrich Lu´ıs Caires

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    Language: English - Date: 2014-03-19 05:08:13
                      UPDATE