Automated Generation of BSP Automata

DOI10.1142/S0129626417400023MaRDI QIDQ4598934zbMATH OpenOpenAlexFDO

Authors Thibaut Tachon, Chong Li, Gaétan Hains, F. Loulergue

Publication date 15 December 2017

Published in Parallel Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129626417400023

zbMATH Keywords

BSPfinite automataregular expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Enumerated BSP Automata
• scientific article; zbMATH DE number 4078822
• SMT-based generation of symbolic automata
• Automata-driven automated induction
• Bisimulation of automata
• Automata generated p-languages
• Automatic construction of CSP programs from sequential non-deterministic programs
• Automaton synthesis from a nonformal specification

Cited in

(4)

• CSP for parallelising Brzozowski's DFA construction algorithm
• Enumerated BSP Automata
• Automatically Generated Infrastructure for De Bruijn Syntaxes
• Theoretical Aspects of Computing – ICTAC 2005

This page was built for publication: Automated Generation of BSP Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598934)