scientific article; zbMATH DE number 3982543
From MaRDI portal
Publication:3746904
zbMATH Open0607.68059MaRDI QIDQ3746904FDOQ3746904
Authors: Hendrik Jan Hoogeboom, Grzegorz Rozenberg 
Publication date: 1986
Title of this publication is not available (Why is that?)
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
- 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
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (17)
- Infinite Arrays and Domino Systems
- The poset of infinitary traces
- Representing any-time and program-iteration by infinitary conjunction
- Title not available (Why is that?)
- Set constraints and topology
- On deciding trace equivalences for processes
- Aperiodic languages in concurrency monoids
- Matrix and matricial iteration theories. II
- A power-set construction for reducing Büchi automata to non-determinism degree two
- The equational logic of fixed points
- Shift-invariant topologies for the Cantor space \(X^{\omega}\)
- \(X\)-automata on \(\omega\)-words
- On automata on infinite trees
- On syntactic congruences for \(\omega\)-languages
- Extension of the automaton specification logical language and the synthesis problem
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- On the concatenation of infinite traces
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)
