Search results
From MaRDI portal
- Replication and Scope Mechanisms in Process Calculi 2008-09-17 Paper On the Asynchronous Nature of the Asynchronous π-Calculus 2008-06-19 Paper A Probabilistic...10 bytes (17 words) - 04:31, 12 December 2023
- without clocks 2013-06-28 Paper Booting clock synchronization in partially synchronous systems with hybrid process and link failures 2013-06-20 Paper Efficient...10 bytes (17 words) - 21:28, 11 December 2023
- 2020-05-26 Paper Asynchronous communication of Petri Nets and the refinement of transitions 2019-12-04 Paper Timed testing of concurrent systems 2019-03-29...10 bytes (16 words) - 01:52, 9 December 2023
- Built-In Coloring for Highly-Concurrent Doubly-Linked Lists 2008-09-09 Paper Highly-Concurrent Multi-word Synchronization 2008-03-06 Paper Distributed...10 bytes (17 words) - 01:28, 25 September 2023
- Paper Wait-free concurrent memory management by Create and Read until Deletion (CaRuD) 2020-12-03 Paper An algorithm for the asynchronous Write-All problem...10 bytes (18 words) - 12:05, 9 December 2023
- Verification of sequential and concurrent programs 2009-09-10 Paper Schedulability of asynchronous real-time concurrent objects 2009-07-20 Paper Modular...10 bytes (20 words) - 16:50, 9 December 2023
- Rankers: A classification of synchronization problems 1994-02-17 Paper Towards an understanding of unbounded variables in asynchronous systems 1993-01-16 Paper...10 bytes (19 words) - 15:57, 10 December 2023
- Paper Distributed synthesis of asynchronously communicating distributed process models 2022-08-11 Paper Paradigms of concurrency. Observations, behaviours and...10 bytes (19 words) - 21:29, 9 December 2023
- 2018-07-20 Paper From non-preemptive to preemptive scheduling using synchronization synthesis 2018-03-01 Paper SMT-Based Analysis of Virtually Synchronous...10 bytes (20 words) - 06:27, 9 December 2023
- in closed processor-sharing systems with multiple classes 1985-01-01 Paper Probabilistic Models and Asymptotic Results for Concurrent Processing with Exclusive...10 bytes (17 words) - 01:18, 13 December 2023
- Multiprocess Programs 1977-01-01 Paper Concurrent reading and writing 1977-01-01 Paper The synchronization of independent processes 1976-01-01 Paper https://portal...10 bytes (17 words) - 17:16, 6 October 2023
- Robust finite‐iteration tracking of discrete‐time systems in repetitive process setting via ILC scheme 2023-12-02 Paper H∞ optimal control of unknown linear...10 bytes (17 words) - 10:56, 11 December 2023
- Transformations for Concurrent Non-malleable Zero Knowledge 2010-02-24 Paper Near-Optimal Radio Use for Wireless Network Synchronization 2010-01-05 Paper...10 bytes (17 words) - 16:42, 7 December 2023
- 1987-01-01 Paper Concurrent program schemes and their logics 1987-01-01 Paper Communication in concurrent dynamic logic 1987-01-01 Paper Concurrent dynamic logic...10 bytes (17 words) - 10:01, 8 December 2023
- network decomposition and synchronization 2000-08-21 Paper Impossibility results in the presence of multiple faulty processes 2000-08-02 Paper https://portal...10 bytes (17 words) - 16:13, 10 December 2023
- and concurrent constraint programming 2022-08-16 Paper Dynamic matrices and the cost analysis of concurrent programs 2022-08-16 Paper Concurrency and Probability...10 bytes (18 words) - 19:24, 9 December 2023
- comments on concurrent readers and writers by Reidar Conradi 1978-01-01 Paper Conditions for the Equivalence of Synchronous and Asynchronous Systems 1978-01-01...10 bytes (17 words) - 11:00, 6 October 2023
- Analysis of a fourth-order exponential PDE arising from a crystal surface jump process with metropolis-type transition rates 2022-03-03 Paper Stop Memorizing:...10 bytes (18 words) - 11:21, 11 December 2023
- Permissionless and asynchronous asset transfer 2023-09-11 Paper https://portal.mardi4nfdi.de/entity/Q5874265 2023-02-07 Paper Asynchronous reconfiguration...10 bytes (16 words) - 05:34, 7 October 2023
- unordered data nets 2017-05-18 Paper Analysis of Asynchronous Programs with Event-Based Synchronization 2016-04-26 Paper Petri nets with name creation for...10 bytes (19 words) - 09:32, 6 October 2023