scientific article
From MaRDI portal
Publication:4035659
zbMath0773.68047MaRDI QIDQ4035659
Sergio Salemi, Antonio Restivo, Giovanna Guaiana
Publication date: 18 May 1993
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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
An extension of the wreath product principle for finite Mazurkiewicz traces ⋮ Unnamed Item ⋮ Rational, recognizable, and aperiodic partially lossy queue languages ⋮ Star-free trace languages ⋮ Local testability from words to traces, a suitable definition ⋮ Representation of computations in concurrent automata by dependence orders ⋮ Logical definability on infinite traces
This page was built for publication:
