Weighted synchronous automata
From MaRDI portal
Publication:5889309
DOI10.1017/S0960129522000421MaRDI QIDQ5889309
Leandro G. Gomes, Alexandre Madeira, Luís Soares Barbosa
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Concurrent Kleene algebra with tests and branching automata
- Probabilistic rely-guarantee calculus
- Concurrent Kleene algebra and its foundations
- Synchronous Kleene algebra
- A deontic logic of action
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- A calculus of communicating systems
- An axiomatic proof technique for parallel programs
- New directions in fuzzy automata
- 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
- Turing, Computing and Communication
- Using Probabilistic Kleene Algebra for Protocol Verification
- Probabilistic automata
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
This page was built for publication: Weighted synchronous automata
