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
A uniform framework for timed automata - MaRDI portal

A uniform framework for timed automata

From MaRDI portal

Publication:4608678

Jump to:navigation, search

DOI10.4230/LIPIcs.CONCUR.2016.26zbMath1392.68214OpenAlexW2559266808MaRDI QIDQ4608678

Tomasz Brengos, Marco Peressotti

Publication date: 21 March 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2016.26

zbMATH Keywords

coalgebras lax functors general saturation timed behavioural equivalence timed language equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Languages and models for hybrid automata: a coalgebraic perspective

This page was built for publication: A uniform framework for timed automata

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