Automata on distributed alphabets

DOI10.1142/9789814271059_0009MaRDI QIDQ4907861zbMATH OpenOpenAlexFDO

Authors Madhavan Mukund

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/413449e81973eec0701c4df2b4864cbc9eff2c59

zbMATH Keywords

automatadistributed systemsasynchronous automatasynchronous productsautomata on distributed alphabets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed Asynchronous Automata
• scientific article; zbMATH DE number 17820
• Compositional synthesis of asynchronous automata
• Probabilistic asynchronous automata
• Distributed Time-Asynchronous Automata

Cited in

(17)

• scientific article; zbMATH DE number 7559475 (Why is no real title available?)
• scientific article; zbMATH DE number 7566078 (Why is no real title available?)
• Distributed ω-Automata
• scientific article; zbMATH DE number 7204953 (Why is no real title available?)
• Kleene Theorems for Synchronous Products with Matching
• Kleene theorems for free choice automata over distributed alphabets
• Interacting Automata for Modelling Distributed Systems
• Modular constructions of distributing automata
• Distributed Time-Asynchronous Automata
• Distributed Asynchronous Automata
• Identifiers in registers. Describing network algorithms with logic
• Distribution and synchronized automata
• Asynchronous transition system games for two processes and their analysis
• Classifying recognizable infinitary trace languages using word automata
• Classifying recognizable infinitary trace languages using word automata
• Model checking distributed temporal logic
• On distributed monitoring of asynchronous systems

This page was built for publication: Automata on distributed alphabets

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