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
Enabling Preserving Bisimulation Equivalence - MaRDI portal

Enabling Preserving Bisimulation Equivalence

From MaRDI portal

Publication:6176118

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.33arXiv2108.00142OpenAlexW3194940075MaRDI QIDQ6176118

Unnamed Author, Peter Höfner, Robert J. van Glabbeek

Publication date: 21 August 2023

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

zbMATH Keywords

process algebra bisimilarity liveness properties fairness assumptions

Mathematics Subject Classification ID

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

Related Items (1)

This page was built for publication: Enabling Preserving Bisimulation Equivalence

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