The following pages link to (Q4694252):
Displaying 16 items.
- Specifying message passing and time-critical systems with temporal logic (Q684564) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- The INFOLOG linear tense propositional logic of events and transactions (Q1079024) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings (Q1801315) (← links)
- Time and logic: A calculus of binary events (Q1805011) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Event-driven temporal logic pattern for control software requirements specification (Q2145270) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- (Q3356298) (← links)
- (Q3832541) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- (Q4518430) (← links)
- (Q5190784) (← links)
- (Q5398251) (← links)
- ESTL: A Temporal Logic for Events and States (Q6487400) (← links)
