Search results
From MaRDI portal
- Dynamic Logic with Parallel Composition 2016-09-05 Paper Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition 2015-12-02 Paper...10 bytes (13 words) - 15:33, 6 October 2023
- reductions: CSP parallel composition and CCS restriction 2023-07-26 Paper Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition...10 bytes (13 words) - 02:57, 7 October 2023
- agreement with active security 2022-03-23 Paper Round-preserving parallel composition of probabilistic-termination cryptographic protocols 2021-06-28 Paper...10 bytes (13 words) - 17:37, 24 September 2023
- in the range of linear operators 2023-04-03 Paper Resolvent of the parallel composition and the proximity operator of the infimal postcomposition 2023-03-06...10 bytes (13 words) - 22:26, 24 September 2023
- 2010-10-18 Paper Parallel Composition of Asynchronous Cellular Automata Simulating Reaction Diffusion Processes 2010-10-04 Paper Parallel Simulation of Asynchronous...10 bytes (15 words) - 11:32, 24 September 2023
- progress properties of state-based concurrent programs 1998-07-22 Paper Parallel composition of assumption-commitment specifications: A unifying approach for...10 bytes (13 words) - 13:03, 13 December 2023
- Publication Date of Publication Type On parallel composition of twistor diagrams 2003-01-01 Paper Sequential composition of twistor diagrams 2000-05-10 Paper...10 bytes (13 words) - 01:25, 28 December 2023
- Publication Date of Publication Type Parallel composition and modular verification of computer controlled systems in differential...10 bytes (13 words) - 11:32, 14 March 2024
- Publication Date of Publication Type Parallel composition and modular verification of computer controlled systems in differential...10 bytes (13 words) - 11:26, 28 January 2024
- Publication Date of Publication Type Parallel Composition of Scheduling Solvers 2016-06-27 Paper...10 bytes (13 words) - 05:36, 7 October 2023
- Publication Date of Publication Type Synchronous Parallel Composition in a Process Calculus for Ecological Models 2015-01-13 Paper...10 bytes (13 words) - 11:19, 7 October 2023
- Publication Date of Publication Type Synchronous Parallel Composition in a Process Calculus for Ecological Models 2015-01-13 Paper...10 bytes (13 words) - 11:19, 7 October 2023
- Paper Pancyclicity of Matching Composition Networks under the Conditional Fault Model 2017-07-12 Paper Component-Composition Graphs: (t,k)-Diagnosability...10 bytes (16 words) - 01:08, 10 December 2023
- polyloglog n Queries via Modular Composition 2015-08-21 Paper Analytical approach to parallel repetition 2015-06-26 Paper A parallel repetition theorem for entangled...10 bytes (15 words) - 13:15, 12 December 2023
- 2022-10-18 Paper Parallel Computation of functions of matrices and their action on vectors 2022-10-07 Paper On symmetric-conjugate composition methods in the...10 bytes (13 words) - 01:40, 9 December 2023
- 2023-08-10 Paper Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction 2023-07-26 Paper Termination, deadlock and divergence...10 bytes (15 words) - 04:34, 7 October 2023
- Matching 1997-10-20 Paper Parallel detection of all palindromes in a string 1997-02-28 Paper An Optimal $O(\log \log N)$-Time Parallel Algorithm for Detecting...10 bytes (15 words) - 21:42, 10 December 2023
- de/entity/Q4434869 2003-11-26 Paper Composition of secure multi-party protocols. A comprehensive study. 2003-09-16 Paper Parallel coin-tossing and constant-round...10 bytes (13 words) - 03:03, 25 September 2023
- expressions with parallel composition 2017-04-04 Paper On the Executability of Interactive Computation 2016-08-17 Paper Unique parallel decomposition in...10 bytes (13 words) - 12:40, 7 October 2023
- with parallel productions 2019-01-10 Paper Characterisation of parallel independence in AGREE-rewriting 2018-08-24 Paper On the essence of parallel independence...10 bytes (15 words) - 13:51, 28 January 2024
