Fairness for pushdown automata.

zbMath1225.68089MaRDI QIDQ642871

Douadi Mihoubi

Publication date: 27 October 2011

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1313604458

zbMATH Keywords

automates finis et à picéquitésgrammaire linéaire

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Fairness for pushdown automata.