1. ASIAN 1995: Pathumthani, Tailand

Kanchana Kanchanasut, Jean-Jacques Lévy (Eds.): Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1023 Springer 1995, ISBN 3-540-60688-2 BibTeX

Algorithms

Eliezer A. Albacea: Leapfrogging Samplesort. 1-9 BibTeX
Leizhen Cai: Spanning 2-Trees. 10-22 BibTeX
Ming-Yang Kao: Minimal Linear Invariants. 23-33 BibTeX
Luca Baffi, Rossella Petreschi: Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs. 34-47 BibTeX
Tak Wah Lam, Ka Hing Lee: Efficient Equality-Testing and Updating of Sets. 48-58 BibTeX
Viet Hai Nguyen, Peter Widmayer: Binary Space Partitions for Sets of Hyperrectangles. 59-72 BibTeX

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Transformation of Orthogonal Term Rewriting Systems. 73-87 BibTeX
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. 88-102 BibTeX
Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). 103-110 BibTeX

Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). 111-125 BibTeX
Wojciech Fraczak: Multi-Action Process Algebra. 126-140 BibTeX
Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. 141-155 BibTeX
N. Raja, R. K. Shyamasundar: Combinatory Formulations of Concurrent Languages. 156-170 BibTeX
Joachim Niehren, Martin Müller: Constraints for Free in Concurrent Computation. 171-186 BibTeX
Pankaj Jalote: Formalizing Inductive Proofs of Message Recovery in Distributed Systems. 187-194 BibTeX
Xinfeng Ye, John A. Keane: Detecting Distributed Termination in the Presence of Node Failure. 195-209 BibTeX
Feixiong Liu, Thomas Peikenkamp, Werner Damm: An Extended Gradient Model for NUMA Multiprocessor Systems. 210-224 BibTeX

Shao Dong Chen, Hong Shen, Rodney W. Topor: Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. 225-238 BibTeX
Hongjun Lu, Kian-Lee Tan: Pipelined Band Join in Shared-Nothing Systems. 239-253 BibTeX

Kimihiro Yamamoto, Shozo Naito, Masaki Itoh: Inductive Logic Programming Based on Genetic Algorithm. 254-268 BibTeX
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf: The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. 269-285 BibTeX
Liem Ngo, Peter Haddawy: Probabilistic Logic Programming and Bayesian Networks. 286-300 BibTeX
Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. 301-318 BibTeX
Bo-Ming Tong, Ho-Fung Leung: Performance of a Data-Parallel Concurrent Constraint Programming System. 319-334 BibTeX

Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp: Formalizing Inductive Proofs of Network Algorithms. 335-349 BibTeX
Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan: TROM - An Object Model for Reactive System Development. 350-364 BibTeX
Philip Chan, Dang Van Hung: Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. 365-380 BibTeX
Michal Iglewski, Marcin Kubica, Jan Madey: Trace Specifications of Non-Deterministic Multi-Object Modules. 381-395 BibTeX
Xiaojun Chen, Paola Inverardi, Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. 396-410 BibTeX