Search results
From MaRDI portal
- 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) - 11:00, 5 September 2024
- 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) - 03:57, 7 October 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) - 14:03, 13 December 2023
- 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) - 16:33, 6 October 2023
- Publication Date of Publication Type Parallel composition of scheduling solvers 2016-06-27 Paper...10 bytes (13 words) - 06:36, 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) - 18:37, 24 September 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) - 02:25, 28 December 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) - 13:40, 7 October 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) - 12:32, 24 September 2023
- local testing 2017-03-31 Paper Toward Better Formula Lower Bounds: The Composition of a Function and a Universal Relation 2017-03-10 Paper Restriction access...10 bytes (14 words) - 20:00, 8 December 2023
- Euler's Constant 1980-01-01 Paper On the Complexity of Composition and Generalized Composition of Power Series 1980-01-01 Paper On the Zeros of the Riemann...10 bytes (17 words) - 13:44, 28 January 2024
- input disturbances 2016-10-28 Paper Scheduling and optimizing algorithm for parallel tasks in heterogeneous distributed computing systems 2016-10-06 Paper Approximation...10 bytes (14 words) - 13:08, 3 March 2025
- energy 2025-01-08 Paper Multiscale analysis for lattice structures based on parallel computing 2024-06-12 Paper An intermediate case of exponential multivalued...10 bytes (14 words) - 10:30, 5 September 2024
- Paper Generalized quantum tomographic maps 2013-11-29 Paper A dynamical composition law for boundary conditions 2013-04-11 Paper Quantum Physics and Fluctuating...10 bytes (14 words) - 02:50, 9 December 2023
- mardi4nfdi.de/entity/Q6132450 2023-08-16 Paper Symmetries and reflections from composition operators in the disk 2023-07-03 Paper The Poincaré space of a \(C^*\)-algebra...10 bytes (13 words) - 22:57, 8 December 2023
- Even symplectic supermanifolds and double field theory 2015-09-21 Paper ``Parallel transport -- revisited 2014-04-11 Paper How Dennis and I intersected 2014-02-11...10 bytes (15 words) - 05:51, 9 December 2023
- Publication Date of Publication Type Finite-sum Composition Optimization via Variance Reduced Gradient Descent 2016-10-14 Paper A...10 bytes (13 words) - 11:03, 5 September 2024
- formalism and applications to active matter 2021-06-08 Paper On the role of composition entropies in the statistical mechanics of polydisperse systems 2020-08-11...10 bytes (14 words) - 17:58, 8 December 2023
- difference approximations of partial differential equations using stencil composition 2022-05-06 Paper Data for Performance-Portable Solid Mechanics via Matrix-Free...10 bytes (17 words) - 02:52, 11 December 2023
- Problems 2007-10-08 Paper Composition duality methods for evolution mixed variational inclusions 2007-08-23 Paper Composition duality methods for mixed...10 bytes (13 words) - 19:15, 11 December 2023
