P. Madhusudan (Selection)

Parthasarathy Madhusudan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

26 P. Madhusudan, P. S. Thiagarajan, Shaofa Yang: The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212

9 P. Madhusudan, P. S. Thiagarajan: A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160

6 P. Madhusudan, P. S. Thiagarajan: Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002)

4 P. Madhusudan, P. S. Thiagarajan: Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407

2 Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107

1 P. Madhusudan, P. S. Thiagarajan: Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33

Selection of 6 from 68 records - P. Madhusudan has 45 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

26		P. Madhusudan, P. S. Thiagarajan, Shaofa Yang: The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212
9		P. Madhusudan, P. S. Thiagarajan: A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160
6		P. Madhusudan, P. S. Thiagarajan: Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002)
4		P. Madhusudan, P. S. Thiagarajan: Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407
2		Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
1		P. Madhusudan, P. S. Thiagarajan: Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33