Suggested Topics within your search.
Showing 1 - 20 results of 47 for search '"concurrency theory"', query time: 3.04s Refine Results
  1. 1
    Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results
    by Åman Pohjola, Johannes
    Published 2016
    Get full text
    Get full text
    Doctoral Thesis
  2. 2
    Higher-order languages : dualities and bisimulation enhancements
    by Madiot, Jean-Marie
    Published 2015
    Subjects: “...Concurrency theory...”
    Get full text
  3. 3
    Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes
    by Perchy, Yamil Salim
    Published 2016
    Subjects: “...Concurrency Theory...”
    Get full text
  4. 4
    Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire
    by Dien, Matthieu
    Published 2017
    Subjects: “...Concurrency theory...”
    Get full text
  5. 5
    Réversibilité dans le pi calcul d'ordre supérieur
    by Mezzina, Claudio Antares
    Published 2012
    Subjects: “...Concurrency theory...”
    Get full text
  6. 6
    Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
    by Beauxis, Romain
    Published 2009
    Subjects: “...Concurrency Theory...”
    Get full text
    Get full text
  7. 7
    Le point de vue epistémique de théorie de la concurrence
    by Knight, Sophia
    Published 2013
    Subjects: “...concurrency theory...”
    Get full text
    Get full text
  8. 8
    Static Partial Order Reduction for Probabilistic Concurrent Systems
    Subjects: “...concurrency theory...”
    Get full text
    Get full text
    Get full text
    Others
  9. 9
    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    Published 2022
    Subjects: “...concurrency theory and process calculi...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  10. 10
    Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...concurrency theory and process calculi...”
    Get fulltext
    eBook
  11. 11
    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...concurrency theory and process calculi...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  12. 12
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...concurrency theory...”
    Get fulltext
    eBook
  13. 13
    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...concurrency theory...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  14. 14
    Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “...concurrency theory and process calculi...”
    Get fulltext
    eBook
  15. 15
    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “...concurrency theory and process calculi...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  16. 16
    Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    Published 2024
    Subjects: “...concurrency theory...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  17. 17
    Combinatorial Slice Theory
    by de Oliveira Oliveira, Mateus
    Published 2013
    “... to obtain novel results in three fields: concurrency theory,combinatorics and logic. Some notable results...”
    Get full text
    Get full text
    Doctoral Thesis
  18. 18
    The LTS WorkBench
    by Alceste Scalas, Massimo Bartoletti
    Published 2015-08-01
    “..., especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult...”
    Get full text
    Article
  19. 19
    Characteristic Formulae for Fixed-Point Semantics: A General Framework
    by Luca Aceto, Anna Ingolfsdottir, Joshua Sack
    Published 2009-11-01
    “...The literature on concurrency theory offers a wealth of examples of characteristic-formula...”
    Get full text
    Article
  20. 20
    Innocent strategies as presheaves and interactive equivalences for CCS
    by Tom Hirschowitz, Damien Pous
    Published 2011-07-01
    “... to Beffara's interpretation of testing equivalences in concurrency theory. In this framework we prove...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search