Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Non-determinism as a paradigm for understanding the user interface
Formal methods in human-computer interaction
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Logics for specifying concurrent information systems
Logics for databases and information systems
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Modal logic
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Using temporal logic to prototype interactive systems
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Locally linear time temporal logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Indexed Flows in Temporal × Modal Logic with Functional Semantics
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
A Theory of Non-Deterministic Networks
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
Hi-index | 0.00 |
In this paper, the Multi-flow Asynchronous Temporal Logic, called MAT Logic, is presented. MAT Logic is a new temporal×modal logic with non-deterministic operators among time flows as accessibility relations. The main goal of this work has been the design and description of a logic that could be capable of managing communications among systems with not necessarily synchronizable time flows. In order to better understand the design of the logic, an example in the field of communications is given.