scientific article; zbMATH DE number 7378583

DOI 10.4230/LIPIcs.CONCUR.2018.39</link>MaRDI QID Q5009457</link>

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Publication date: 4 August 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expressive completenessregular expressionsmetric temporal logicMSOalternating timed automata

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Definability with bounded number of bound variables
• Metric Temporal Logic with Counting
• On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
• On Process-Algebraic Extensions of Metric Temporal Logic
• MSO definable string transductions and two-way finite-state transducers
• Making Metric Temporal Logic Rational
• The benefits of relaxing punctuality
• Expressive Completeness for Metric Temporal Logic
• Alternating timed automata
• An Expressive Temporal Logic for Real Time
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: