Chop Expressions and Discrete Duration Calculus

DOI10.1142/9789814271059_0008zbMath1256.68096OpenAlexW2405408038MaRDI QIDQ4907860

S. Ajesh Babu, Paritosh K. Pandya

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0008

zbMATH Keywords

Kleene algebras with testsDiscrete Duration Calculusdiscrete timed behaviorextended chop expressions with tests

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

The chop of languages

This page was built for publication: Chop Expressions and Discrete Duration Calculus