The following pages link to P. S. Thiagarajan (Q229998):
Displaying 50 items.
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Component-based construction of bio-pathway models: the parameter estimation problem (Q548481) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- A theory of bipolar synchronization scheme (Q799113) (← links)
- Causal message sequence charts (Q843103) (← links)
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Event structures and trace monoids (Q1183599) (← links)
- Elementary transition systems (Q1190485) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Dynamic linear time temporal logic (Q1295431) (← links)
- Elementary transition systems and refinement (Q1323371) (← links)
- Product interval automata (Q1847544) (← links)
- A trace semantics for Petri nets (Q1891167) (← links)
- Transition systems, event structures, and unfoldings (Q1892885) (← links)
- A logical study of distributed transition systems (Q1893730) (← links)
- Quasi-static scheduling of communicating tasks (Q1959479) (← links)
- Rabin's theorem in the concurrency setting: a conjecture (Q2253187) (← links)
- An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
- (Q2754187) (← links)
- Succinct discrete time approximations of distributed hybrid automata (Q2985857) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q2986781) (← links)
- (Q3045252) (← links)
- (Q3045269) (← links)
- (Q3347311) (← links)
- (Q3356298) (← links)
- Causal Message Sequence Charts (Q3525636) (← links)
- Quasi-Static Scheduling of Communicating Tasks (Q3541026) (← links)
- (Q3659154) (← links)
- (Q3666282) (← links)
- (Q3727392) (← links)
- (Q3746897) (← links)
- (Q3773359) (← links)
- (Q3776635) (← links)
- (Q3785913) (← links)
- (Q3802632) (← links)
- (Q3883515) (← links)
- (Q3928258) (← links)
- TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I (Q4020485) (← links)
- On the Interconnection of Asynchronous Control Structures (Q4096800) (← links)
- (Q4223014) (← links)
- (Q4247293) (← links)
- (Q4251912) (← links)
- (Q4353634) (← links)
- (Q4375802) (← links)
- (Q4484484) (← links)
- (Q4501664) (← links)
- (Q4501674) (← links)
- (Q4535033) (← links)
