scientific article; zbMATH DE number 1113857
From MaRDI portal
Publication:4375631
zbMath0886.03031MaRDI QIDQ4375631
Luca Aceto, Anna Ingólfsdóttir
Publication date: 10 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Automata and formal grammars in connection with logical questions (03D05)
Related Items (6)
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ An equational axiomatization for multi-exit iteration ⋮ Axiomatizing flat iteration ⋮ Models of nondeterministic regular expressions ⋮ Non-regular iterators in process algebra ⋮ Ordered SOS process languages for branching and eager bisimulations
This page was built for publication:
