Výsledky vyhledávání - "Theory of computation~Program reasoning"

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

    Contextual Behavioural Metrics

    Autoři: Ugo Dal Lago Maurizio Murgia Dal Lago, Ugo a další

    Přispěvatelé: Ugo Dal Lago Maurizio Murgia Dal Lago, Ugo a další

    Témata: 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 souboru: application/pdf

    Pří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
    Přidat do oblíbených
  2. 2

    Ordinal measures of the set of finite multisets

    Autoři: 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 další

    Přispěvatelé: 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 další

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

    Témata: 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

    Dostupnost: 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
    Přidat do oblíbených
  3. 3

    Processes Parametrised by an Algebraic Theory

    Autoři: Schmid, Todd Różowski, Wojciech Rot, Jurriaan a další

    Přispěvatelé: Schmid, Todd Różowski, Wojciech Rot, Jurriaan a další

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

    Témata: 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 souboru: application/pdf

    Pří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
    Přidat do oblíbených
  4. 4

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

    Autoři: Schmid, Todd Kappé, Tobias Kozen, Dexter a další

    Přispěvatelé: Schmid, Todd Kappé, Tobias Kozen, Dexter a další

    Témata: 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 souboru: application/pdf

    Pří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
    Přidat do oblíbených
  5. 5

    Introduction to the Special Issue on Distributed Hybrid Systems

    Autoři: 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

    Témata: 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 souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených

Vyhledávací nástroje: