Výsledky vyhľadávania - "Theory of computation → Program reasoning"

  • Zobrazené výsledky 1 - 5 z 5
Upresniť hľadanie
  1. 1

    Contextual Behavioural Metrics

    Autori: Ugo Dal Lago Maurizio Murgia Dal Lago, Ugo a ďalší

    Prispievatelia: Ugo Dal Lago Maurizio Murgia Dal Lago, Ugo a ďalší

    Predmety: Theory of computation → Process calculi, Behavioural metrics, Behavioural Metrics, Process Algebras, Differential Semantics, ddc:004, [INFO] Computer Science [cs], Theory of computation → Program reasoning, Differential Semantics, Labelled Transition Systems

    Popis súboru: application/pdf

    Prístupová URL adresa: https://inria.hal.science/hal-04356984v1
    https://inria.hal.science/hal-04356984v1/document
    https://doi.org/10.4230/lipics.concur.2023.38
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.38
    https://hdl.handle.net/11585/956427
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.38
    https://doi.org/10.4230/lipics.concur.2023.38

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    Ordinal measures of the set of finite multisets

    Autori: Vialard, Isa Laboratoire Méthodes Formelles (LMF) Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) a ďalší

    Prispievatelia: Vialard, Isa Laboratoire Méthodes Formelles (LMF) Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) a ďalší

    Zdroj: MFCS 2023 ; https://hal.science/hal-04287405 ; MFCS 2023, Aug 2023, Bordeaux, France. ⟨10.4230/LIPIcs⟩

    Predmety: 2012 ACM Subject Classification Theory of computation → Complexity theory and logic, Theory of computation → Logic and verification, Theory of computation → Proof theory, Theory of computation → Program reasoning, finite multisets, termination, program verification, Well-partial order, [INFO]Computer Science [cs]

    Geografické téma: Bordeaux, France

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.09881; ARXIV: 2302.09881

    Dostupnosť: https://hal.science/hal-04287405
    https://hal.science/hal-04287405v1/document
    https://hal.science/hal-04287405v1/file/multiset.pdf
    https://doi.org/10.4230/LIPIcs

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    Processes Parametrised by an Algebraic Theory

    Autori: Schmid, Todd Różowski, Wojciech Rot, Jurriaan a ďalší

    Prispievatelia: Schmid, Todd Różowski, Wojciech Rot, Jurriaan a ďalší

    Zdroj: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20

    Predmety: regular expressions, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Software Science, program semantics, ddc:004, 0101 mathematics, Theory of computation → Program reasoning, coalgebra, process algebra

    Popis súboru: application/pdf

    Prístupová URL adresa: http://arxiv.org/abs/2202.06901
    https://repository.ubn.ru.nl//bitstream/handle/2066/282992/282992.pdf
    https://hdl.handle.net/2066/282992
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.132

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  4. 4

    Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

    Autori: Schmid, Todd Kappé, Tobias Kozen, Dexter a ďalší

    Prispievatelia: Schmid, Todd Kappé, Tobias Kozen, Dexter a ďalší

    Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, program equivalence, coequations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Kleene algebra, completeness, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Theory of computation → Program reasoning, Programming Languages (cs.PL)

    Popis súboru: application/pdf

    Prístupová URL adresa: http://arxiv.org/abs/2102.08286
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.142

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  5. 5

    Introduction to the Special Issue on Distributed Hybrid Systems

    Autori: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

    Zdroj: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002

    Predmety: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models

    Popis súboru: application/pdf

    Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

    Dostupnosť: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
    https://doi.org/10.4230/LITES.8.2.0

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: