Výsledky vyhledávání - Theory of computation Models of computation Concurrency Process calculi*
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Computational Logic. 25:1-40
Témata: FOS: Computer and information sciences, causal consistency, causal liveness, causal safety, labelled transition system with independence, Reversible computation, Computer Science - Logic in Computer Science, Labelled Transition System with Independence, 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Causal Consistency, 01 natural sciences, Logic in Computer Science (cs.LO), Process calculi, Reversible Computation, CCS Concepts: Theory of computation → Concurrency Process calculi • Computing methodologies → Concurrent programming languages Reversible Computation, Causal Safety
Popis souboru: application/pdf
-
2
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
3
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48218
-
4
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723
-
5
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.9
-
6
Autoři:
Resource Type: eBook.
Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics
Plný text ve formátu PDF -
7
Autoři:
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
Plný text ve formátu PDF Plný text ve formátu ePub -
8
Autoři: Cardone, Felice
Zdroj: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p
-
9
Autoři:
Přispěvatelé:
Témata: Configuration structures, Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing, Reversible CCS, Distributed and reversible computation, Process algebras and calculi, Computer Science - Formal Languages and Automata Theory, Bisimulation, Mathematics - Logic, ddc:004, Formal semantics
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/2005.06814
https://arxiv.org/abs/2005.06814
https://augusta.pure.elsevier.com/en/publications/how-reversibility-can-solve-traditional-questions-the-example-of-
https://dblp.uni-trier.de/db/journals/corr/corr2005.html#abs-2005-06814
https://arxiv.org/pdf/2005.06814
https://doi.org/10.4230/LIPIcs.CONCUR.2020.7
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.7 -
10
Autoři: Melliès, Paul-André
Přispěvatelé: Melliès, Paul-André
Zdroj: Proceedings of the ACM on Programming Languages
Témata: 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]
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
11
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.
Témata: 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
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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]
Geografické téma: Virtual conference, France
Time: Virtual conference, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2104.07293; ARXIV: 2104.07293
-
13
Autoři:
Zdroj: Theoretical Computer Science. Apr2022, Vol. 913, p151-173. 23p.
Témata: *PETRI nets, *CALCULI, *THEORY-practice relationship
-
14
Autoři:
Zdroj: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01778656 ; 2019.
Témata: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.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/1804.10355; ARXIV: 1804.10355
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783030452308
Témata: Informatik, Lógica simbólica y matemática, Matemáticas, Discrete Mathematics in Computer Science, Programming Languages, Lógica algebraica, Mathematical Logic and Foundations
Popis souboru: 641 Seiten; 644 páginas; application/pdf
-
17
Autoři:
Zdroj: Concurrency, Graphs & Models; 2008, p503-509, 7p
-
18
Autoři: FU, YUXI
Zdroj: Mathematical Structures in Computer Science; Sep2015, Vol. 25 Issue 6, p1295-1338, 44p
-
19
Autoři:
Zdroj: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-31, 31p
-
20
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
Plný text ve formátu PDF Plný text ve formátu ePub
Full Text Finder 
Nájsť tento článok vo Web of Science