Linear Temporal Logic of Constraint Automata

DOI10.1007/978-3-540-89985-3_146MaRDI QIDQ3628607zbMATH OpenOpenAlexFDO

Authors Sara Navidpour, Mohammad Izadi

Publication date 20 May 2009

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89985-3_146

zbMATH Keywords

temporal logicconcurrent systemconstraint automataweak and strong fairnesscoordination model

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Automata and temporal logic over arbitrary linear time
• scientific article; zbMATH DE number 1954378
• An automata-theoretic approach to constraint LTL
• Linear-time temporal logics with Presburger constraints: an overview
• A Paraconsistent Linear-time Temporal Logic
• scientific article; zbMATH DE number 1701759
• Linear parametric model checking of timed automata
• Limit-deterministic Büchi automata for linear temporal logic
• A model checker for linear time temporal logic
• Linear temporal logic symbolic model checking

Cites work

• A coinductive calculus of component connectors.
• Modeling component connectors in Reo by constraint automata

Cited in

(8)

• Alternating-time stream logic for multi-agent systems
• Temporal Logic with Capacity Constraints
• Tool support for learning Büchi automata and linear temporal logic
• From symbolic constraint automata to Promela
• Data optimizations for constraint automata
• Automata and temporal logic over arbitrary linear time
• Symbolic model checking for channel-based component connectors
• Parity Automata for Quantitative Linear Time Logics

This page was built for publication: Linear Temporal Logic of Constraint Automata

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