Search Results - Theory of computation Models of computation Concurrency Process calculi~
-
1
Contributors:
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
2
Contributors:
Subject Terms: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
3
Contributors:
Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Failure Handling, Scala, Theory of computation → Process calculi, Theory of computation → Distributed computing models, Concurrency, Session Types, ddc:004, Software and its engineering → Source code generation, Software and its engineering → Concurrent programming languages, Code Generation
File Description: application/pdf
-
5
-
6
Authors:
Source: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-38, 38p
Subject Terms: PETRI nets, QUANTUM computing, CALCULI, PROBABILITY theory
-
7
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics
PDF Full Text ePub Full Text -
8
Authors: Cardone, Felice
Source: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p
-
9
Authors: Melliès, Paul-André
Contributors: Melliès, Paul-André
Source: Proceedings of the ACM on Programming Languages
Subject Terms: Synchronization algebras, Denotational semantics, [MATH.MATH-QA] Mathematics [math]/Quantum Algebra [math.QA], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Game semantics, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT], 0102 computer and information sciences, 02 engineering and technology, [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT], 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Template games, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Concurrency, Categorical semantics, Concurrent non-alternating games, Bicategorical models of linear logic, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], 0202 electrical engineering, electronic engineering, information engineering, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Sequential alternating games, Theory of computation, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3290336
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#Mellies19
https://dl.acm.org/doi/10.1145/3290336
https://hal.archives-ouvertes.fr/hal-02436640
https://dl.acm.org/doi/pdf/10.1145/3290336
https://hal.archives-ouvertes.fr/hal-02436640/document
https://dl.acm.org/citation.cfm?doid=3302515.3290336
https://hal.science/hal-02436640v1/document
https://doi.org/10.1145/3290336
https://hal.science/hal-02436640v1 -
10
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.
Subject Terms: Distributed and reversible computation, Computing meth- odologies → Concurrent programming languages Keywords and phrases Formal semantics, Process algebras and calculi, Bisimulation, Reversible CCS, Configuration structures, 2012 ACM Subject Classification Theory of computation → Program semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2005.06814; hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250/document; https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf; ARXIV: 2005.06814
-
11
Authors: et al.
Contributors: et al.
Source: 32nd International Conference on Concurrency Theory, CONCUR 2021
https://hal.science/hal-03198277
32nd International Conference on Concurrency Theory, CONCUR 2021, Aug 2021, Virtual conference, France. pp.34:1--34:22, ⟨10.4230/LIPICS.CONCUR.2021.34⟩Subject Terms: Complexity Analysis, Theory of computation → Process calculi, Software and its engineering → Software verification phrases Type Systems, Pi-calculus, Process Calculi, 2012 ACM Subject Classification Theory of computation → Type structures, Sized Types, Usages, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Virtual conference, France
Time: Virtual conference, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2104.07293; ARXIV: 2104.07293
-
12
Authors:
Source: Theoretical Computer Science. Apr2022, Vol. 913, p151-173. 23p.
Subject Terms: *PETRI nets, *CALCULI, *THEORY-practice relationship
-
13
Authors:
Source: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams
Subject Terms: HUMAN-computer interaction, COMPUTABLE functions, TURING machines, COMPUTERS, COMPUTER engineering
-
14
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030452308
Subject Terms: Informatik, Lógica simbólica y matemática, Matemáticas, Discrete Mathematics in Computer Science, Programming Languages, Lógica algebraica, Mathematical Logic and Foundations
File Description: 641 Seiten; 644 páginas; application/pdf
-
15
Authors:
Source: Concurrency, Graphs & Models; 2008, p503-509, 7p
-
16
Authors: FU, YUXI
Source: Mathematical Structures in Computer Science; Sep2015, Vol. 25 Issue 6, p1295-1338, 44p
-
17
Authors:
Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-31, 31p
Subject Terms: MACHINE theory, CALCULUS, TURING machines, MACHINERY, COMPUTER science, FRACTIONAL calculus, SCIENTIFIC models
-
18
-
19
Authors: Dodig-Crnkovic, Gordana
Source: Minds & Machines; May2011, Vol. 21 Issue 2, p301-322, 22p
Subject Terms: NATURAL computation, INFORMATION processing, ORGANISMS, LOGIC, NATURAL history
-
20
Full Text Finder 
Nájsť tento článok vo Web of Science