Coinduction in Concurrent Timed Systems

DOI10.1016/j.entcs.2010.07.020zbMath1247.68187OpenAlexW1989058138MaRDI 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 coalgebracoinductionMealy automatasynchronous productdeterministic weighted automata

Mathematics Subject Classification ID

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

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

This page was built for publication: Coinduction in Concurrent Timed Systems