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
- 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
- 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
- categorical algebra for the sequential and parallel composition of discrete systems 2009-09-23 Paper The parallel composition of processes 2009-04-25 Paper...10 bytes (17 words) - 10:00, 5 September 2024
- 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 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
- 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
- Norm-attaining composition operators on the Bloch spaces 2010-07-07 Paper Hyperbolic distortion of conformal maps at corners 2009-08-31 Paper Composition operators...10 bytes (15 words) - 11:00, 6 October 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
- 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
- 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
- signatures 2012-07-03 Paper The knowledge tightness of parallel zero-knowledge 2012-06-15 Paper On the composition of public-coin zero-knowledge protocols 2012-03-15...10 bytes (14 words) - 03:07, 7 October 2023
- expressions with parallel composition 2017-04-04 Paper A Generic Process Algebra 2015-07-10 Paper A basic parallel process as a parallel pushdown automaton...10 bytes (19 words) - 07:40, 9 December 2023
- 2007-09-24 Paper Composition Implies Adaptive Security in Minicrypt 2007-09-24 Paper A Tight Bound for EMAC 2007-09-11 Paper Parallel Repetition of Computationally...10 bytes (14 words) - 03:07, 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
