Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Link opens in a new tab
Search content at Bar-Ilan University
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Interleaving set temporal logic
Shmuel Katz
,
Doron Peled
Technion-Israel Institute of Technology
Research output
:
Contribution to journal
›
Article
›
peer-review
42
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Interleaving set temporal logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Temporal Logic
100%
Partial Order
75%
Nondeterminism
50%
Sequentiality
25%
Computational Model
25%
Correctness Proofs
25%
Distributed Algorithms
25%
Expressive Power
25%
Temporal Semantics
25%
Linear Temporal Logic
25%
Branching-time Logics
25%
Non-deterministic Choice
25%
Parallel Execution
25%
Temporal Interpretation
25%
Proof Rules
25%
P-property
25%
Global Snapshot
25%
Temporal Operators
25%
Semantic Model
25%
Interleaved Sequence
25%
Computer Science
Temporal Logic
100%
Partial Order
60%
Nondeterminism
40%
Computational Modeling
20%
Temporal Semantics
20%
Linear Temporal Logic
20%
Parallel Execution
20%
Branching Time
20%
Essential Property
20%
Correctness Proofs
20%
Expressive Power
20%
Distributed Algorithm
20%
Proof
20%