Výsledky vyhledávání - "2012 ACM Subject Classification Theory of computation → Program semantics"
-
1
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
-
2
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
-
3
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
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.archives-ouvertes.fr/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; hal-01778656; https://hal.archives-ouvertes.fr/hal-01778656; https://hal.archives-ouvertes.fr/hal-01778656v2/document; https://hal.archives-ouvertes.fr/hal-01778656v2/file/2019_02_12_standalone.pdf; ARXIV: 1804.10355
Nájsť tento článok vo Web of Science