Semialgebras and Weak Distributive Laws

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science Vol. 351; pp. 218 - 241
Main Authors: Petrişan, Daniela, Sarkis, Ralph
Format: Journal Article
Language:English
Published: 29.12.2021
ISSN:2075-2180, 2075-2180
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Petrişan, Daniela
Sarkis, Ralph
Author_xml – sequence: 1
  givenname: Daniela
  surname: Petrişan
  fullname: Petrişan, Daniela
  organization: IRIF
– sequence: 2
  givenname: Ralph
  surname: Sarkis
  fullname: Sarkis, Ralph
  organization: ENS de Lyon
BookMark eNpNzztPwzAUBWALFYlSuvEDsrGQYN_cOM6IQgtIkUBqEaPlxw0ytCmyA4h_T3kMnOWc6UjfMZsMu4EYOxW8QOB4sbhft6uirEQh8IBNgddVDkLxyb99xOYpPfN9ygawkVN2tqJtMJsnstGkzAw-eyTzkl2FNMZg38bwTllnPtIJO-zNJtH8r2fsYblYtzd5d3d92152uQOQY-6kk4ASQdaEjgi4RYvCeqMa512NXlIvPViLihpbSdcgoOfeK26dU-WMnf_-urhLKVKvX2PYmvipBdffTv3j1HunFlh-Af9jRv0
Cites_doi 10.1017/S0960129505005074
10.1109/LICS52264.2021.9470717
10.4230/LIPIcs.ICALP.2021.132
10.1109/LICS.2019.8785707
10.1007/3-540-44618-4_26
10.1017/S0004972700006353
10.23638/LMCS-13(1:2)2017
10.4204/EPTCS.333.15
10.1007/s10485-019-09582-w
10.1145/3373718.3394795
10.4230/LIPIcs.CONCUR.2017.23
10.1007/BFb0083084
10.1016/j.entcs.2018.11.013
10.1007/978-1-4757-4721-8
10.1109/LICS.2019.8785673
10.1080/00927872.2011.616436
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.4204/EPTCS.351.14
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 241
ExternalDocumentID 10_4204_EPTCS_351_14
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c226t-c6c62464267e4cee20b4b41bda89cdc74d6ef6d2bb48e9b56c9424d0dd80bcc83
ISICitedReferencesCount 2
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001044544400014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2075-2180
IngestDate Sat Nov 29 02:05:32 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c226t-c6c62464267e4cee20b4b41bda89cdc74d6ef6d2bb48e9b56c9424d0dd80bcc83
OpenAccessLink https://hal.science/hal-03261093
PageCount 24
ParticipantIDs crossref_primary_10_4204_EPTCS_351_14
PublicationCentury 2000
PublicationDate 2021-12-29
PublicationDateYYYYMMDD 2021-12-29
PublicationDate_xml – month: 12
  year: 2021
  text: 2021-12-29
  day: 29
PublicationDecade 2020
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2021
References Goy (Goy2021) 2021; 198
Beck (Beck1969) 1969
Varacca (Varacca-PhD) 2003
Hyland (Hyland2021) 2021; 333
Riehl (Riehl) 2017
Street (Street) 2009; 22
Böhm (Bohm) 2011; 39
Awodey (Awodey) 2010
Goy (GoyPetrisan20) 2020
Keimel (Keimel17) 2017; Volume 13, Issue 1
Klin (Klin-Salamanca) 2018; 341
Varacca (Varacca06) 2006; 16
Garner (Garner) 2020; 28
Kelly (Kelly1980) 1980; 22
Bonchi (Bonchi2021) 2021
Mac Lane (MacLane71) 1971
Tanaka (Tanakathesis) 2004
Bonchi (Bonchi19) 2019
Mislove (Mislove00) 2000
Bonchi (Bonchi17b) 2017; 85
Mio (MioSarkisVign21) 2021
Zwart (Zwart19) 2019
References_xml – volume: 16
  issue: 1
  year: 2006
  ident: Varacca06
  article-title: Distributing probability over non-determinism
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129505005074
– start-page: 1
  volume-title: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  year: 2021
  ident: MioSarkisVign21
  article-title: Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning
  doi: 10.1109/LICS52264.2021.9470717
– volume: 198
  volume-title: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
  year: 2021
  ident: Goy2021
  article-title: Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces
  doi: 10.4230/LIPIcs.ICALP.2021.132
– volume-title: Probability, nondeterminism and concurrency: two denotational models for probabilistic computation
  year: 2003
  ident: Varacca-PhD
– start-page: 102
  volume-title: Foundations of Software Science and Computation Structures
  year: 2021
  ident: Bonchi2021
  article-title: Combining Semilattices and Semimodules
  doi: 10.1109/LICS.2019.8785707
– start-page: 350
  volume-title: CONCUR 2000 — Concurrency Theory
  year: 2000
  ident: Mislove00
  article-title: Nondeterminism and Probabilistic Choice: Obeying the Laws
  doi: 10.1007/3-540-44618-4_26
– volume: 22
  issue: 1
  year: 1980
  ident: Kelly1980
  article-title: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
  publication-title: Bulletin of the Australian Mathematical Society
  doi: 10.1017/S0004972700006353
– volume: Volume 13, Issue 1
  year: 2017
  ident: Keimel17
  article-title: Mixed powerdomains for probability and nondeterminism
  publication-title: Logical Methods in Computer Science
  doi: 10.23638/LMCS-13(1:2)2017
– volume: 333
  start-page: 215
  volume-title: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, Cambridge, USA, 6-10th July 2020
  year: 2021
  ident: Hyland2021
  article-title: The linear-non-linear substitution 2-monad
  doi: 10.4204/EPTCS.333.15
– volume-title: Category Theory
  year: 2010
  ident: Awodey
– volume: 28
  start-page: 339
  issue: 2
  year: 2020
  ident: Garner
  article-title: The Vietoris monad and weak distributive laws
  publication-title: Applied Categorical Structures
  doi: 10.1007/s10485-019-09582-w
– volume-title: Pseudo-distributive laws and a unified framework for variable binding
  year: 2004
  ident: Tanakathesis
– start-page: 1
  volume-title: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019
  year: 2019
  ident: Zwart19
  article-title: No-Go Theorems for Distributive Laws
  doi: 10.1109/LICS.2019.8785707
– volume-title: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
  year: 2020
  ident: GoyPetrisan20
  article-title: Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws
  doi: 10.1145/3373718.3394795
– volume: 85
  volume-title: 28th International Conference on Concurrency Theory (CONCUR 2017)
  year: 2017
  ident: Bonchi17b
  article-title: The Power of Convex Algebras
  doi: 10.4230/LIPIcs.CONCUR.2017.23
– volume: 22
  start-page: 313
  year: 2009
  ident: Street
  article-title: Weak distributive laws.
  publication-title: Theory and Applications of Categories [electronic only]
– start-page: 119
  volume-title: Seminar on Triples and Categorical Homology Theory
  year: 1969
  ident: Beck1969
  article-title: Distributive laws
  doi: 10.1007/BFb0083084
– volume: 341
  start-page: 261
  year: 2018
  ident: Klin-Salamanca
  article-title: Iterated Covariant Powerset is not a Monad
  publication-title: Electronic Notes in Theoretical Computer Science
  doi: 10.1016/j.entcs.2018.11.013
– volume-title: Categories for the Working Mathematician
  year: 1971
  ident: MacLane71
  doi: 10.1007/978-1-4757-4721-8
– start-page: 1
  volume-title: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  year: 2019
  ident: Bonchi19
  article-title: The Theory of Traces for Systems with Nondeterminism and Probability
  doi: 10.1109/LICS.2019.8785673
– volume-title: Category Theory in Context
  year: 2017
  ident: Riehl
– volume: 39
  start-page: 4567
  issue: 12
  year: 2011
  ident: Bohm
  article-title: On the 2-Categories of Weak Distributive Laws
  publication-title: Communications in Algebra
  doi: 10.1080/00927872.2011.616436
SSID ssj0000392496
Score 2.2293804
SourceID crossref
SourceType Index Database
StartPage 218
Title Semialgebras and Weak Distributive Laws
Volume 351
WOSCitedRecordID wos001044544400014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: M~E
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3LS8MwGA8yPXjxLb7pweFBqmmWNs1RhsOLQ9zE3UpeAxHr2Obw5N_ulyZd6_AwD15CCU3a5td-r-b7fgidS4EVKFIacqpxSFPFQjFMVBhjwwk2NFJUFWQTrNtNBwP-4FlRJwWdAMvz9POTj_4VaugDsG3q7B_gnk8KHXAMoEMLsEO7FPA98_ZiyTvADXb1l5-NeLVVNj231czYyPXkR0i-4sKpFNrEb4Gc5zkqTwBx6bVmJVVh5mY7bvKOi6a6tPW5vO-J8aurZPBoM3vrcQYS2T0bPhhRiCMCxkUIBoH7i2J-6fPytOUryJYSMa0pV-KqXC3KbUowhXW9fei3e1cw_sollv4sj72gtuabCcGNseOzYnQGozNLbL5KWMztHr_7ryrohlvW3SwIB8s7d8kQdoLr-uVrZkrN3uhvoQ3vKAQ3DuBttGLyHbRZknAEXibvoos63gHgHVi8gzregcV7Dz11bvvtu9CzX4QKTOJpqBKVEAruYcIMBeQJllTSSGqRcqUVozoxw0QTKWlquIwTxSmBD07rFEul0tY-auTvuTlAATdSR1xwJmJBtdFCMiXjeDjEJpKMxIeoWT5sNnJFTrLfVvVoyfOO0Xr1Bp2gxnT8YU7RmppNXybjswKSb9rHRww
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Semialgebras+and+Weak+Distributive+Laws&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Petri%C5%9Fan%2C+Daniela&rft.au=Sarkis%2C+Ralph&rft.date=2021-12-29&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=351&rft.spage=218&rft.epage=241&rft_id=info:doi/10.4204%2FEPTCS.351.14&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_351_14
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon