scientific article; zbMATH DE number 3982543
From MaRDI portal
Publication:3746904
Recommendations
- The syntax and semantics of infinitary languages
- Recognizable and logically definable languages of infinite computations in concurrent automata
- scientific article; zbMATH DE number 1754582
- scientific article; zbMATH DE number 5347282
- scientific article; zbMATH DE number 4024803
- A systematic approach to language constructs for concurrent programs
- scientific article; zbMATH DE number 3932376
- A denotational semantic theory of concurrent systems
- scientific article; zbMATH DE number 3978364
- scientific article; zbMATH DE number 3894485
Cited in
(17)- Matrix and matricial iteration theories. II
- Extension of the automaton specification logical language and the synthesis problem
- On automata on infinite trees
- A power-set construction for reducing Büchi automata to non-determinism degree two
- The equational logic of fixed points
- On the concatenation of infinite traces
- The poset of infinitary traces
- Aperiodic languages in concurrency monoids
- \(X\)-automata on \(\omega\)-words
- Representing any-time and program-iteration by infinitary conjunction
- scientific article; zbMATH DE number 1754582 (Why is no real title available?)
- On deciding trace equivalences for processes
- Shift-invariant topologies for the Cantor space \(X^{\omega}\)
- Set constraints and topology
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- Infinite Arrays and Domino Systems
- On syntactic congruences for \(\omega\)-languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746904)
