The following pages link to Paul Caspi (Q1185018):
Displaying 20 items.
- Clocks in dataflow languages (Q1185019) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
- (Q2766634) (← links)
- (Q2767016) (← links)
- Synchronous Kahn networks (Q2817701) (← links)
- An algorithm for reducing binary branchings (Q2956689) (← links)
- Timed regular expressions (Q3196640) (← links)
- Actors without Directors: A Kahnian View of Heterogeneous Systems (Q3624561) (← links)
- (Q3721827) (← links)
- (Q3910456) (← links)
- (Q4222947) (← links)
- (Q4439585) (← links)
- (Q4439589) (← links)
- (Q4444743) (← links)
- (Q4473710) (← links)
- Implementing Synchronous Models on Loosely Time Triggered Architectures (Q4564085) (← links)
- (Q4764003) (← links)
- Formal Methods for Components and Objects (Q5311287) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464761) (← links)
- Hybrid Systems: Computation and Control (Q5898990) (← links)