Search results

Articles (3)

Journals (0)

1-3 of 3 results for safety and liveness properties of distributed systems

Sort by:

Relevance

Select all

Sort by:

Relevance

Free access

Research article

First published 2008-11

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2010-04

Worawan Marurngsith, Roland N. Ibbett

SIMULATION

Retricted access

Research article

First published 2020-11

Katherine A Flanigan, Jerome P Lynch, Mohammed Ettouney

Structural Health Monitoring