Publication:3787456
From MaRDI portal
zbMath0644.68036MaRDI QIDQ3787456
Irène Guessarian, Wafaa Niar-Dinedane
Publication date: 1988
SCCS; \(\omega\)-regular languages; Muller automata; fair languages; synchronous communicating sequential processes
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
On the minimal number of \(\times\) operators to model regularity in fair SCCS, Strong fairness and ultra metrics