Výsledky vyhledávání - "Theory of computation Models of computation Concurrency"

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

    Exploiting symmetries of high-level Petri games in distributed synthesis.

    Autoři: Würdemann, Nick

    Zdroj: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p321-331, 11p

    Témata: PETRI nets, GAMES, WORLD Wide Web

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    DATA OPTIMIZATIONS FOR CONSTRAINT AUTOMATA.

    Autoři: JONGMANS, SUNG-SHIK T. Q. ARBAB, FARHAD

    Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 3, p1-38, 38p

    Témata: MATHEMATICAL optimization, CONSTRAINT algorithms, MACHINE theory, SOURCE code, MATHEMATICAL formulas

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    THE LARGEST RESPECTFUL FUNCTION.

    Autoři: PARROW, JOACHIM WEBER, TJARK

    Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 2, p1-8, 8p

    Témata: BISIMULATION, MATHEMATICAL proofs, PROOF theory, MATHEMATICAL functions, COINDUCTION (Mathematics)

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS.

    Autoři: DAMIANI, FERRUCCIO VIROLI, MIRKO

    Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 4, p1-53, 53p

    Témata: SELF-stabilization (Computer science), LARGE scale systems, COMPUTATIONAL complexity, COMPUTER engineering, DATA structures, SENSOR networks

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    ON REACHABILITY FOR UNIDIRECTIONAL CHANNEL SYSTEMS EXTENDED WITH REGULAR TESTS.

    Autoři: JANčAR, PETR KARANDIKAR, PRATEEK SCHNOEBELEN, PHILIPPE

    Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 2, p1-26, 26p

    Témata: EMBEDDINGS (Mathematics), PROBLEM solving, PROOF theory, MATHEMATICAL bounds, DECIDABILITY (Mathematical logic)

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    MODELLING MAC-LAYER COMMUNICATIONS IN WIRELESS SYSTEMS.

    Autoři: CERONE, ANDREA HENNESSY, MATTHEW MERRO, MASSIMO

    Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-59, 59p

    Témata: TELECOMMUNICATION, WIRELESS communications, MATHEMATICAL proofs, SYSTEMS theory, MATHEMATICAL models

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    GLOBALLY GOVERNED SESSION SEMANTICS.

    Autoři: KOUZAPAS, DIMITRIOS YOSHIDA, NOBUKO

    Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-45, 45p

    Témata: SEMANTICS, BISIMULATION, MATHEMATICAL optimization, DISTRIBUTED computing, SYSTEMS design

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    FULL ABSTRACTION FOR FAIR TESTING IN CCS.

    Autoři: HIRSCHOWITZ, TOM

    Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-80, 80p

    Témata: SEMANTICS, GAME theory, EQUIVALENCE (Linguistics), MATHEMATICAL proofs, ALGEBRA, BISIMULATION

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    A CONCURRENT PATTERN CALCULUS.

    Autoři: GIVEN-WILSON, THOMAS GORLA, DANIELE JAY, BARRY

    Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-46, 46p

    Témata: COMPUTER simulation, INFORMATION sharing, NATURAL language processing, SEQUENTIAL pattern mining, DATA structures, PATTERN matching

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY.

    Autoři: FRANCALANZA, ADRIAN DEVRIES, EDSKO HENNESSY, MATTHEW

    Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-51, 51p

    Témata: REASONING, RESOURCE management, SEMANTICS, MATHEMATICAL proofs, COMPUTER memory management

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    ALL LINEAR-TIME CONGRUENCES FOR FAMILIAR OPERATORS.

    Autoři: VALMARI, ANTTI

    Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-34, 34p

    Témata: LINEAR time invariant systems, GEOMETRIC congruences, OPERATOR theory, ABSTRACT algebra, SEMANTICS, MATHEMATICAL proofs, NUMBER theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    MODELLING PROBABILISTIC WIRELESS NETWORKS.

    Autoři: CERONE, ANDREA HENNESSY, MATTHEW

    Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-68, 68p

    Témata: PROBABILITY theory, WIRELESS sensor networks, TOPOLOGY, DIRECTED graphs, NETWORK routing protocols, COMPUTER simulation

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    ON CHARACTERISING DISTRIBUTABILITY.

    Autoři: VAN GLABBEEK, ROB GOLTZ, URSULA SCHICKE-UFFMANN, JENS-WOLFHARD

    Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-58, 58p

    Témata: DISTRIBUTION (Probability theory), SEQUENTIAL analysis, PETRI nets, SET theory, DIVERGENCE theorem, SEMANTICS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    ALGEBRAIC STRUCTURE OF COMBINED TRACES.

    Autoři: MIKULSKI, ŁUKASZ

    Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-26, 26p

    Témata: MATHEMATICAL models, FORMAL languages, LEXICOGRAPHY, ALGORITHMS, PROBLEM solving, PETRI nets

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    MARKOV TWO-COMPONENTS PROCESSES.

    Autoři: ABBES, SAMY

    Zdroj: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-34, 34p, 3 Diagrams

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: