scientific article; zbMATH DE number 7222494

DOI10.4230/LIPICS.FSTTCS.2014.11zbMATH Open1436.68041MaRDI QIDQ3299221FDOQ3299221

Authors: Aiswarya Cyriac, Paul Gastin 

Publication date: 19 July 2020

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Distributed systems (68M14)

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)