Výsledky vyhledávání - Models of Computation—Parallelism and concurrency~
-
1
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Modes of Computation— Parallelism and concurrency, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Process models, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Temporal logic General Terms, Languages, Theory, Verification Additional Key Words and Phrases, True concurrency, causality, mu-calculus, behavioural equivalences, history-preserving bisimilarity, event structures
Popis souboru: application/pdf
-
2
Autoři: a další
Zdroj: ACM Computing Surveys; Jan2026, Vol. 58 Issue 1, p1-37, 37p
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 784–805, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Carmona J.; Kleijn J./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:784/pagina_a:805/intervallo_pagine:784–805Témata: Màquines, Teoria de, Communication behaviour, Reactive components, Construction engineering, H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems, F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency, 0102 computer and information sciences, 02 engineering and technology, Compatibility, 01 natural sciences, Machine theory, Team automata, Systems-of-systems, Correct communications, 0202 electrical engineering, electronic engineering, information engineering, F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata, Multi-component systems, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Automata theory, Multicomponent systems, E.4 CODING AND INFORMATION THEORY. Formal models of communication, Master-slave synchronisations, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Correctby, Program verification, Synchronisation policy, Correct-by-construction
Popis souboru: application/pdf
Přístupová URL adresa: https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
http://hdl.handle.net/2117/100199
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_55
https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
https://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekCK16
https://upcommons.upc.edu/handle/2117/100199 -
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Re- liability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals ’ problem, commit problem, consensus problem
Popis souboru: application/pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems|distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming|distributed programming, D.4.5 [Operating Systems, Re- liability|fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion|automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation|parallelism and concurrency, H.2.4 [Database Management, Systems|con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals &apos, problem, commit problem
Popis souboru: application/pdf
-
6
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Sys- tems—distributed applications, distributed databases, network operating systems, C.4 [Performance of Systems, —reliability, availability, and serviceability, D.1.3 [Programming Techniques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Reliability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computation—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—concurrency, distributed systems, transaction processing General Terms, Algorithms, Reliability, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broadcast, Byzantine Generals ’ problem, commit problem
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.9085; http://spacegrant.colorado.edu/3cs/software/download/unreliable.pdf
-
7
Autoři: a další
Zdroj: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p
-
8
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation— Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs— Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, expressiveness, language embedding, multiset rewriting systems
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
-
9
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
10
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
11
Autoři:
Zdroj: International Journal of Parallel, Emergent & Distributed Systems; Dec 2021, Vol. 36 Issue 6, p565-578, 14p
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Models of Computation--parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems General Terms, Algorithms, Theory
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.2927; http://www.cs.utexas.edu/users/plaxton/pubs/1998/jacm.ps
-
13
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, E.1 [Data Structures, Arrays, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Sorting and searching, H.3.1 [Information Storage and Retrieval, Content Analysis and Indexing—Indexing methods
Popis souboru: application/pdf
-
14
Autoři: a další
Zdroj: SCIENCE CHINA Information Sciences; Apr2025, Vol. 68 Issue 4, p1-39, 39p
-
15
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed pro- gramming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms Algorithms, Design, Theory Keywords Data Filtering, Dataflow, Architecturally Diverse Platforms
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539; http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf
-
16
Autoři:
Přispěvatelé:
Zdroj: http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf.
Témata: H.5.3 [Information Interfaces and Presentation, Group and Orga- nization Interfaces—Theory and models, Web-based interaction General Terms Languages, Standardization, Theory Keywords Web services, contracts, concurrency theory, CCS, must testing, type theory, subtyping, explicit coercions
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657; http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657
http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf -
17
Autoři:
Zdroj: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p24-2436, 36p
-
18
Autoři:
Zdroj: International Journal of Applied Operational Research; Mar2013, Vol. 3 Issue 1, p95-108, 14p
-
19
Autoři: Valiant, Leslie G.
Zdroj: Communications of the ACM; Aug1990, Vol. 33 Issue 8, p103-111, 9p
Témata: PARALLEL computers, VON Neumann algebras
-
20
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, C.2[Computer- Communication Networks, Miscellaneous, B.3.2 [Memory Structures, Design Styles—shared memory General Terms Algorithms, Theory Keywords Common2, Wait-free, Stack, Queue, Consensus number 2, Unbounded concurrency, Immediate snapshot
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7446; http://www.cs.tau.ac.il/~adamx/podc06.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder