Discretization of Timed Automata in Timed μCRL à la Regions and Zones

DOI10.1016/J.ENTCS.2005.12.084zbMath1316.68095OpenAlexW2141300974MaRDI QIDQ5262966

Jan Friso Groote, Yaroslav S. Usenko, Michel Reniers

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

discretizationtimed automatacoordinate transformationabstractiontimed \(\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)

Uses Software

• mCRL

Cites Work

• Lectures on Concurrency and Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discretization of Timed Automata in Timed μCRL à la Regions and Zones