Sage Journals: Discover world-class research

Retricted access

Research article

First published 1989

On Temporal Logic for Distributed Systems and Its Application to Processes Communicating by Interrupts

Andrzej Szalas, Uwe Petermann

Fundamenta Informaticae

Retricted access

Research article

First published 2021-9-23

A complete robust control network based on skewed temporal logic

Liuxing Li

Journal of High Speed Networks

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2019-5

Control in belief space with temporal logic specifications using vision-based localization

Kevin Leahy, Eric Cristofalo, Cristian-Ioan Vasile [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2006-10-20

Language based policy analysis in a SPKI Trust Management System

Arun K. Eamani, A. Prasad Sistla

Journal of Computer Security

Retricted access

Research article

First published 1999-2

Integrating Distributed Algorithms into Distributed Systems

Ekkart Kindler, Sibylle Peuker

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

A Strong Completeness Result for a MAS Logic

Magdalena Kacprzak

Fundamenta Informaticae

Retricted access

Research article

First published 2011-1

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Francesco Belardinelli, Alessio Lomuscio

Fundamenta Informaticae

Retricted access

Research article

First published 2008-12

Logic-based Conflict Detection for Distributed Policies

Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini

Fundamenta Informaticae

Search results