Weighted synchronous automata
From MaRDI portal
Publication:5889309
DOI10.1017/S0960129522000421MaRDI QIDQ5889309FDOQ5889309
Authors: Leandro G. Gomes, Alexandre Madeira, L. S. Barbosa
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- Probabilistic automata
- A calculus of communicating systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- An axiomatic proof technique for parallel programs
- Concurrent Kleene algebra with tests and branching automata
- Concurrent Kleene algebra and its foundations
- Synchronous Kleene algebra
- Title not available (Why is that?)
- Using Probabilistic Kleene Algebra for Protocol Verification
- A deontic logic of action
- Probabilistic concurrent Kleene algebra
- Probabilistic rely-guarantee calculus
- New directions in fuzzy automata
- Turing, computing and communication
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- Introducing synchrony in fuzzy automata
- On the average size of Glushkov and equation automata for KAT expressions
- A probabilistic Kleene theorem
Cited In (3)
This page was built for publication: Weighted synchronous automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889309)