Discretization of timed automata in timed CRL à la regions and zones

DOI10.1016/J.ENTCS.2005.12.084MaRDI QIDQ5262966zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Michel A. Reniers, Y. S. Usenko

Publication date 10 July 2015

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.2005.12.084

zbMATH Keywords

discretizationabstractiontimed automatacoordinate transformationtimed \(\mu\)CRL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• Perspectives of System Informatics
• scientific article; zbMATH DE number 1798172
• Discrete time process algebra with abstraction

Cites work

• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• Algebraic process verification.
• Lectures on Concurrency and Petri Nets

Cited in

(3)

• On regions and zones for event-clock automata
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages

Describes a project that uses

Uses Software

• mCRL

This page was built for publication: Discretization of timed automata in timed \(\mu\)CRL à la regions and zones

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