Coinduction in concurrent timed systems

DOI10.1016/J.ENTCS.2010.07.020MaRDI QIDQ2919457zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 994050
• scientific article; zbMATH DE number 1839448
• Concurrency in timed automata
• Coalgebraic semantics for timed processes
• Using Coq for formal modeling and verification of timed connectors
• scientific article; zbMATH DE number 1497788
• Proving correctness of timed concurrent constraint programs
• scientific article; zbMATH DE number 2087421
• scientific article; zbMATH DE number 2242593

Cites work

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

Cited in

(6)

• Time-reversal homotopical properties of concurrent systems
• scientific article; zbMATH DE number 1839448 (Why is no real title available?)
• Transition and cancellation in concurrency and branching time
• scientific article; zbMATH DE number 6605097 (Why is no real title available?)
• An algorithm for exact bounds on the time separation of events in concurrent systems
• CONCUR 2005 – Concurrency Theory

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Coinduction in concurrent timed systems

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