dblp.uni-trier.dewww.uni-trier.de

Bharat Adsul

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
5EEBharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan: Causal Closure for MSC Languages. FSTTCS 2005: 335-347
2004
4EEBharat Adsul, Milind A. Sohoni: Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages. FSTTCS 2004: 84-96
2002
3EEBharat Adsul, Milind A. Sohoni: Local Normal Forms for Logics over Traces. FSTTCS 2002: 47-58
2EEBharat Adsul, Milind A. Sohoni: Complete and Tractable Local Linear Time Temporal Logics over Traces. ICALP 2002: 926-937
2000
1EEBharat Adsul, Aranyak Mehta, Milind A. Sohoni: Keeping Track of the Latest Gossip in Shared Memory Systems. FSTTCS 2000: 477-488

Coauthor Index

1K. Narayan Kumar [5]
2Aranyak Mehta [1]
3Madhavan Mukund [5]
4Vasumathi Narayanan [5]
5Milind A. Sohoni [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)