Coinduction in Concurrent Timed Systems

DOI10.1016/j.entcs.2010.07.020zbMath1247.68187MaRDI QIDQ2919457

Jan Komenda

Publication date: 2 October 2012

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.07.020

zbMATH Keywords

final coalgebra; coinduction; Mealy automata; synchronous product; deterministic weighted automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• A theory of timed automata
• On coalgebra based on classes
• Universal coalgebra: A theory of systems
• Product interval automata
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Series which are both max-plus and min-plus rational are unambiguous
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Modeling and analysis of timed Petri nets using heaps of pieces
• Compositional specification of timed systems
• Performance evaluation of (max,+) automata
• Modular Control of Discrete-Event Systems With Coalgebra