scientific article; zbMATH DE number 7297849
From MaRDI portal
Publication:5144648
zbMath1457.68138MaRDI QIDQ5144648
Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330036
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The ideal view on Rackoff's coverability technique ⋮ Reachability problems in low-dimensional nondeterministic polynomial maps over integers ⋮ Copyful Streaming String Transducers ⋮ Weak Cost Register Automata are Still Powerful
This page was built for publication:
