The following pages link to Pieter J. L. Cuijpers (Q777054):
Displayed 20 items.
- (Q442291) (redirect page) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- Independent WCRT analysis for individual priority classes in Ethernet AVB (Q777057) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- (Q2847419) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- A Process-Theoretic Look at Automata (Q3400912) (← links)
- Towards Budgeting in Real-Time Calculus: Deferrable Servers (Q3510838) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- A Context-Free Process as a Pushdown Automaton (Q3541013) (← links)
- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting (Q3588083) (← links)
- On Bicontinuous Bisimulation and the Preservation of Stability (Q3613014) (← links)
- (Q4621144) (← links)
- (Q4963900) (← links)
- (Q4963917) (← links)
- (Q4992501) (← links)
- A Basic Parallel Process as a Parallel Pushdown Automaton (Q5170665) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)