The following pages link to Padmanabhan Krishnan (Q1330426):
Displaying 14 items.
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276) (← links)
- Architectural CCS (Q1914040) (← links)
- (Q2711326) (← links)
- (Q4035252) (← links)
- (Q4217603) (← links)
- A Process Algebraic Approach to Time Granularity Semantics (Q4385195) (← links)
- (Q4499212) (← links)
- (Q4499283) (← links)
- (Q4520537) (← links)
- (Q4520787) (← links)
- (Q4520788) (← links)
- A CALCULUS OF TIMED COMMUNICATING SYSTEMS (Q5286028) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709999) (← links)
