Advances in computing science -- ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10--12, 2003. Proceedings (Q1419514)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1014.00020). Indexed articles: \textit{Nestmann, Uwe; Fuzzati, Rachele}, Unreliable failure detectors via operational semantics., 54-71 [Zbl 1215.68056] \textit{Chandra, Punit; Kshemkalyani, Ajay D.}, Global predicate detection under fine-grained modalities., 91-109 [Zbl 1215.68038] \textit{Zhan, Naijun}, Combining hierarchical specification with hierarchical implementation., 110-124 [Zbl 1215.68137] \textit{Kapur, Deepak; Subramaniam, M.}, Automatic generation of simple lemmas from recursive definitions using decision procedures -- preliminary report., 125-145 [Zbl 1215.68210] \textit{Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis}, Deaccumulation -- improving provability., 146-160 [Zbl 1215.68128] \textit{Chen, Ning; Zhu, Hong}, Incentive compatible mechanism based on linear pricing scheme for single-minded auction., 161-172 [Zbl 1215.91029] \textit{Lodaya, Kamal; Ranganayakulu, D.; Rangarajan, K.}, Hierarchical structure of 1-safe Petri nets., 173-187 [Zbl 1215.68156] \textit{Blanchet, Bruno; Aziz, Benjamin}, A calculus for secure mobility., 188-204 [Zbl 1215.68145] \textit{Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro}, A calculus of bounded capacities., 205-223 [Zbl 1215.68036] \textit{Sen, Koushik; Roşu, Grigore; Agha, Gul}, Generating optimal linear temporal logic monitors by coinduction., 260-275 [Zbl 1215.68134] \textit{Yamane, Satoshi}, Probabilistic timed simulation verification and its application to stepwise refinement of real-time systems., 276-290 [Zbl 1215.68135] \textit{Bollig, Benedikt; Leucker, Martin}, Model checking probabilistic distributed systems., 291-304 [Zbl 1215.68127]