Search results
From MaRDI portal
- Harrison Humphrey (section List of research outcomes)Publication Date of Publication Type Bicategories of Markov Processes 2020-02-24 Paper...10 bytes (16 words) - 22:29, 27 December 2023
- Florence Clerc (section List of research outcomes)Towards a classification of behavioural equivalences in continuous-time Markov processes 2022-04-29 Paper Bicategories of Markov Processes 2020-02-24 Paper Expressiveness...10 bytes (16 words) - 00:26, 25 September 2023
- Prakash Panangaden (section List of research outcomes)approximate minimization 2020-05-04 Paper Bicategories of Markov Processes 2020-02-24 Paper Expressiveness of probabilistic modal logics: a gradual approach...10 bytes (16 words) - 15:14, 10 December 2023
- Markov processes 2011-03-30 Paper Bicategories of spans as cartesian bicategories 2010-04-20 Paper Calculating Colimits Compositionally 2008-06-19 Paper Cartesian...10 bytes (20 words) - 05:07, 12 December 2023
- Glynn Winskel (section List of research outcomes)Publication Date of Publication Type Causal Unfoldings and Disjunctive Causes 2023-08-26 Paper A presheaf semantics of value-passing processes 2023-06-28 Paper...10 bytes (16 words) - 01:40, 10 December 2023
- Nicoletta Sabadini (section List of research outcomes)Markov processes 2011-03-30 Paper Calculating Colimits Compositionally 2008-06-19 Paper A universal property of the monoidal 2-category of cospans of finite...10 bytes (16 words) - 05:06, 12 December 2023
- Stefano Kasangian (section List of research outcomes)modal/temporal Heyting logic and non-determinism in processes 2018-03-09 Paper The ziqqurath of exact sequences of n-groupoids 2011-10-05 Paper Generalising Conduché's...10 bytes (16 words) - 06:06, 25 September 2023
- Stephen Lack (section List of research outcomes)Paper Notions of Lawvere theory 2011-03-30 Paper Foreword 2011-03-30 Paper Icons 2010-08-13 Paper Bicategories of spans as cartesian bicategories 2010-04-20...10 bytes (17 words) - 22:06, 24 September 2023
- Marcelo P. Fiore (section List of research outcomes)Intuitionistic Linear Logic 2009-03-10 Paper The cartesian closed bicategory of generalised species of structures 2008-03-13 Paper Equational Systems and Free Constructions...10 bytes (18 words) - 01:49, 9 December 2023
- Enrico M. Vitale (section List of research outcomes)and fractions of functors 2013-06-24 Paper Birkhoff's variety theorem in many sorts 2012-11-27 Paper The ziqqurath of exact sequences of n-groupoids 2011-10-05...10 bytes (18 words) - 04:15, 9 December 2023
- Kenny Courser (section List of research outcomes)Markov Processes 2018-12-21 Paper Spans of cospans in a topos 2018-06-07 Paper A bicategory of decorated cospans 2017-10-04 Paper...10 bytes (16 words) - 16:40, 28 December 2023
- Piergiulio Katis (section List of research outcomes)Date of Publication Type https://portal.mardi4nfdi.de/entity/Q2847786 2013-09-11 Paper Comparing cospan-spans and tiles via a Hoare-style process calculus...10 bytes (16 words) - 11:43, 6 October 2023
- Gian Luca Cattani (section List of research outcomes)Publication Date of Publication Type The Bicategory-Theoretic Solution of Recursive Domain Equations 2013-12-06 Paper Profunctors, open maps and bisimulation...10 bytes (18 words) - 12:03, 24 September 2023
- J. Robin B. Cockett (section List of research outcomes)2003-06-05 Paper Introduction to linear bicategories 2002-09-04 Paper Restriction categories. I: Categories of partial maps 2002-03-03 Paper https://portal...10 bytes (20 words) - 18:14, 9 December 2023
- Juan-Miguel Gracia (section List of research outcomes)applications 2019-03-19 Paper On the completeness of products of harmonic functions and the uniqueness of the solution of the inverse acoustic sounding problem 2019-03-19...10 bytes (16 words) - 08:10, 7 October 2023
- V. Pereyra (section List of research outcomes)Existence of moments of increasing predictable processes associated with one- and two-parameter potentials 2000-09-24 Paper Nonlocal theory of the high-strain-rate...10 bytes (15 words) - 13:11, 24 September 2023
- Journal of Pure and Applied Algebra (Search for Journal in Brave) zbMATH Keywords feedback; normal form theorem; algebra of processes; bicategories of processes;...15 bytes (62 words) - 10:22, 30 January 2024
- or partial maps 18N10: 2-categories, bicategories, double categories 18M35: Categories of networks and processes, compositionality...15 bytes (60 words) - 15:30, 8 February 2024
- Classification ID 60J27: Continuous-time Markov processes on discrete state spaces 18N10: 2-categories, bicategories, double categories...15 bytes (68 words) - 18:46, 8 February 2024
- algebraic theories; operads; Kleisli bicategories Mathematics Subject Classification ID 68Q55: Semantics in the theory of computing 68Q85: Models and methods...15 bytes (86 words) - 09:28, 2 February 2024