Search Results - Models of Computation—Parallelism AND concurrency
-
1
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
2
Authors: et al.
Source: ACM Computing Surveys; Jan2026, Vol. 58 Issue 1, p1-37, 37p
Subject Terms: PROBABILISTIC generative models, LANGUAGE models
-
3
Authors: et al.
Contributors: et al.
Source: 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–805Subject Terms: 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
File Description: application/pdf
Access URL: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors: et al.
Source: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v2.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
10
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v3.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
11
Authors:
Source: International Journal of Parallel, Emergent & Distributed Systems; Dec 2021, Vol. 36 Issue 6, p565-578, 14p
-
12
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
14
Authors: et al.
Source: SCIENCE CHINA Information Sciences; Apr2025, Vol. 68 Issue 4, p1-39, 39p
-
15
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Source: http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf.
Subject Terms: 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
File Description: 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
Availability: 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
Authors:
Source: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p24-2436, 36p
-
18
Authors:
Source: International Journal of Applied Operational Research; Mar2013, Vol. 3 Issue 1, p95-108, 14p
-
19
Authors: Valiant, Leslie G.
Source: Communications of the ACM; Aug1990, Vol. 33 Issue 8, p103-111, 9p
Subject Terms: PARALLEL computers, VON Neumann algebras
-
20
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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