Publication:3787456

zbMath0644.68036MaRDI QIDQ3787456

Wafaa Niar-Dinedane, Irène Guessarian

Publication date: 1988

zbMATH Keywords

SCCS; \(\omega\)-regular languages; Muller automata; fair languages; synchronous communicating sequential processes

Mathematics Subject Classification ID

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