Distributed temporal logic for the analysis of security protocol models
The distributed temporal logic DTL is an expressive logic, well suited for formalizing
properties of concurrent, communicating agents. We show how DTL can be used as a …
properties of concurrent, communicating agents. We show how DTL can be used as a …
Quantum state transformations and branching distributed temporal logic
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
[HTML][HTML] A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
Model checking distributed temporal logic
F Dionísio, J Ramos, F Subtil… - Logic Journal of the …, 2024 - academic.oup.com
The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of
distributed systems from the local point of view of the system's agents, which are assumed to …
distributed systems from the local point of view of the system's agents, which are assumed to …
Multi-bit sigma-delta tdc architecture for digital signal timing measurement
S Uemori, M Ishii, H Kobayashi, Y Doi… - 2012 IEEE 18th …, 2012 - ieeexplore.ieee.org
This paper describes the architecture (circuit design) and principles of operation of sigma-
delta Sigma-Delta time-to-digital converters (TDC) for high-speed I/O interface circuit test …
delta Sigma-Delta time-to-digital converters (TDC) for high-speed I/O interface circuit test …
Tableau systems for reasoning about risk
In order to evaluate the effectiveness of the security measures undertaken to protect a
distributed system (eg, protecting privacy of data in a network or in an information system) …
distributed system (eg, protecting privacy of data in a network or in an information system) …
Bounded model checking distributed temporal logic
A Peres, J Ramos, F DionÍsio - Journal of Logic and …, 2023 - academic.oup.com
The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of
distributed systems from the local point of view of the system's agents, which are assumed to …
distributed systems from the local point of view of the system's agents, which are assumed to …
A labeled tableaux system for the distributed temporal logic dtl
DTL is a distributed temporal logic for reasoning about temporal properties of distributed
systems from the local point of view of the system's agents, which are assumed to execute …
systems from the local point of view of the system's agents, which are assumed to execute …
A history of until
Until is a notoriously difficult temporal operator as it is both existential and universal at the
same time: AUB holds at the current time instant w iff either B holds at w or there exists a …
same time: AUB holds at the current time instant w iff either B holds at w or there exists a …
Event-Based Time-Stamped Claim Logic
Abstract The Event-Based Time-Stamped Claim Logic that we define in this paper allows
one to reason about distributed time-stamped claims that can change through time by the …
one to reason about distributed time-stamped claims that can change through time by the …