scientific article
From MaRDI portal
Publication:3766864
zbMath0629.68062MaRDI QIDQ3766864
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Closure properties of locally finite \(\omega\)-languages ⋮ Time-based expressivity of time Petri nets for system specification
This page was built for publication:
