The following pages link to (Q3818306):
Displaying 12 items.
- Specifying message passing and time-critical systems with temporal logic (Q684564) (← links)
- Language in action (Q1177646) (← links)
- Formal timing analysis of distributed systems (Q1193762) (← links)
- Modal logic with names (Q1310624) (← links)
- Expressibility of output equals input. Negative and positive results (Q1323378) (← links)
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- A deontic approach to database integrity (Q1353862) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Taming logic (Q1909607) (← links)
- Design of a PLC control program for a batch plant VHS case study 1 (Q2512165) (← links)
- Petri net model with fuzzy timing and fuzzy-metric temporal logic (Q4719120) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
