Search results
From MaRDI portal
- Jan A. Bergstra (section List of research outcomes)1986-01-01 Paper Algebra of communicating processes with abstraction 1985-01-01 Paper Top-down design and the algebra of communicating processes 1985-01-01 Paper...10 bytes (19 words) - 21:19, 8 December 2023
- Jos C. M. Baeten (section List of research outcomes)Paper Process algebra with propositional signals 1998-07-23 Paper Discrete time process algebra 1996-06-02 Paper Axiomatizing probabilistic processes: ACP...10 bytes (21 words) - 08:40, 9 December 2023
- Grigori Olshanski (section List of research outcomes)analogue of the big \(q\)-Jacobi polynomials in the algebra of symmetric functions 2018-02-07 Paper The Gelfand-Tsetlin graph and Markov processes 2017-11-06...10 bytes (18 words) - 15:53, 8 December 2023
- Uwe Küchler (section List of research outcomes)families of Markov processes 1998-02-09 Paper Exponential families of stochastic processes 1997-08-19 Paper Exponential families of stochastic processes and...10 bytes (17 words) - 22:32, 8 December 2023
- Nicolas Crampé (section List of research outcomes): the Brauer algebra as a quotient of the Bannai–Ito algebra 2023-01-04 Paper Truncation of the reflection algebra and the Hahn algebra 2022-12-20 Paper...10 bytes (16 words) - 13:36, 11 December 2023
- Dora Seleši (section List of research outcomes)stochastic processes in algebras of generalized functions 2009-04-29 Paper Structure theorems for generalized random processes 2008-11-19 Paper Algebra of Generalized...10 bytes (17 words) - 20:13, 9 December 2023
- Rocco De Nicola (section List of research outcomes)Distribution and locality of concurrent systems 2019-04-29 Paper Basic observables for processes 2018-07-04 Paper Initial Algebra for a System of Right-Linear Functors...10 bytes (19 words) - 17:45, 11 December 2023
- Yu-xin Deng (section List of research outcomes)linear logic and process algebra 2016-07-28 Paper Program equivalence in linear contexts 2015-05-26 Paper Semantics of Probabilistic Processes 2015-02-03 Paper...10 bytes (17 words) - 19:28, 11 December 2023
- Carroll Morgan (section List of research outcomes)Models: A Monadic Account of Quantitative Information Flow 2018-04-23 Paper A demonic lattice of information 2018-03-26 Paper Algebra for Quantitative Information...10 bytes (18 words) - 15:39, 6 December 2023
- Valentin Valero (section List of research outcomes)de/entity/Q3045274 2004-08-12 Paper Algebraic theory of probabilistic and nondeterministic processes. 2003-08-13 Paper A process algebra for probabilistic and nondeterministic...10 bytes (16 words) - 23:45, 10 December 2023
- O. L. Yablonskij (section List of research outcomes)Paper Equations in differentials in the algebra of generalized stochastic processes 2010-06-17 Paper Solutions of nonlinear differential equations 2010-05-07...10 bytes (18 words) - 16:00, 8 December 2023
- Dong Liu (section List of research outcomes)Representations of the affine-Virasoro algebra of type \(A_1\) 2016-06-13 Paper Classification of Harish-Chandra modules over some Lie algebras related to the...10 bytes (16 words) - 16:49, 10 December 2023
- Eugene W. Lytvynov (section List of research outcomes)dynamics for permanental point processes 2011-09-08 Paper Meixner class of non-commutative generalized stochastic processes with freely independent values...10 bytes (18 words) - 09:51, 8 December 2023
- Mark I. Freidlin (section List of research outcomes)The Action Functional for a Class of Stochastic Processes 1972-01-01 Paper EXISTENCE "IN THE LARGE" OF SMOOTH SOLUTIONS OF DEGENERATE QUASILINEAR EQUATIONS...10 bytes (19 words) - 04:19, 9 December 2023
- Servet Martínez (section List of research outcomes)states 2010-11-25 Paper Energy efficiency of consecutive fragmentation processes 2010-07-20 Paper Hadamard Functions of Inverse M-Matrices 2010-05-25 Paper Quasi-stationary...10 bytes (16 words) - 00:27, 9 December 2023
- efficiency preorder for processes 1994-06-30 Paper A theory of processes with localities 1994-06-29 Paper A theory of communicating processes with value passing...10 bytes (21 words) - 18:04, 9 December 2023
- Yûichirô Kakihara (section List of research outcomes)harmonizable processes:wold and Cramér decompositions 1996-04-22 Paper A classification of vector harmonizable processes 1992-09-27 Paper Ergodicity of asymptotically...10 bytes (16 words) - 18:33, 9 December 2023
- Realization of a Complemented Algebra 1965-01-01 Paper On some classes of scalar-product algebras 1961-01-01 Paper On a Generalization of the Notion of H ∗ -Algebra...10 bytes (18 words) - 02:33, 9 December 2023
- C. A. R. Hoare (section List of research outcomes)Proof of a structured program: 'The sieve of Eratosthenes' 1972-01-01 Paper Proof of correctness of data representations 1972-01-01 Paper Proof of a program...10 bytes (22 words) - 01:01, 11 December 2023
- Reactive bisimulation semantics for a process algebra with timeouts 2023-03-01 Paper Abstract processes in the absence of conflicts in general place/transition...10 bytes (20 words) - 15:42, 6 December 2023