scientific article; zbMATH DE number 7222494

DOI10.4230/LIPICS.FSTTCS.2014.11MaRDI QIDQ3299221zbMATH OpenFDO

Authors Aiswarya Cyriac, Paul Gastin

Publication date 19 July 2020

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• A framework for prototyping and reasoning about distributed systems
• Reasoning in event-based distributed systems
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Towards formal specification of a distributed computing system
• A declarative approach to distributed computing: specification, execution and analysis
• scientific article; zbMATH DE number 3868587

Cited in

(4)

• Analyzing timed systems using tree automata
• Automata and Logics for Concurrent Systems: Five Models in Five Pages
• A logic-based approach to incremental reasoning on multi-agent systems
• Towards an Efficient Tree Automata based technique for Timed Systems

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 Q3299221)