Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Algebra and coalgebra of stream products - MaRDI portal

Algebra and coalgebra of stream products

From MaRDI portal

Publication:6134264

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.19arXiv2107.04455OpenAlexW3194981885MaRDI QIDQ6134264

Michele Boreale, Daniele Gorla

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2107.04455

zbMATH Keywords

coalgebras polynomials differential equations streams

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Automatic pre- and postconditions for partial differential equations

This page was built for publication: Algebra and coalgebra of stream products

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6134264&oldid=35593630"