scientific article; zbMATH DE number 1497794

MaRDI QIDQ4499212zbMATH OpenFDO

Authors Padmanabhan Krishnan

Publication date 5 March 2001

zbMATH Keywords

distributed real-time system

Mathematics Subject Classification ID

Distributed systems (68M14) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2050928
• scientific article; zbMATH DE number 1507209
• Distributed event clock automata (extended abstract)
• scientific article; zbMATH DE number 2102690
• A theory of timed automata

Cited in

(13)

• Towards a real-time distributed computing model
• Formal timing analysis of distributed systems
• Reconciling fault-tolerant distributed algorithms and real-time computing
• Implementing discrete time in Promela and Spin
• Coverability problem of asynchronous multi-process timed automata
• Distributed Timed Automata with Independently Evolving Clocks
• scientific article; zbMATH DE number 1962789 (Why is no real title available?)
• scientific article; zbMATH DE number 1985648 (Why is no real title available?)
• scientific article; zbMATH DE number 2017355 (Why is no real title available?)
• scientific article; zbMATH DE number 2050928 (Why is no real title available?)
• On implementable timed automata
• Distributed event clock automata (extended abstract)
• Distributed timed automata with independently evolving clocks

This page was built for publication:

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