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

Algorithms

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

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

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

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

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

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