Abstract is missing.
- Leapfrogging SamplesortEliezer A. Albacea. 1-9
- Spanning 2-TreesLeizhen Cai. 10-22
- Minimal Linear InvariantsMing-Yang Kao. 23-33
- Parallel Maximal Matching on Minimal Vertex Series Parallel DigraphsLuca Baffi, Rossella Petreschi. 34-47
- Efficient Equality-Testing and Updating of SetsTak Wah Lam, Ka Hing Lee. 48-58
- Binary Space Partitions for Sets of HyperrectanglesViet Hai Nguyen, Peter Widmayer. 59-72
- Transformation of Orthogonal Term Rewriting SystemsSugwoo Byun, Richard Kennaway, M. Ronan Sleep. 73-87
- An Automaton-Driven Frame Disposal Algorithm and its Proof of CorrectnessManoranjan Satpathy, Amitabha Sanyal, G. Venkatesh. 88-102
- Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)Milind Gandhe, G. Venkatesh, Amitabha Sanyal. 103-110
- Preemption Primitives in Reactive Languages (A Preliminary Report)Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar. 111-125
- Multi-Action Process AlgebraWojciech Fraczak. 126-140
- Complexity as a Basis for Comparing Semantic Models of ConcurrencyAlan Mycroft, Pierpaolo Degano, Corrado Priami. 141-155
- Combinatory Formulations of Concurrent LanguagesN. Raja, R. K. Shyamasundar. 156-170
- Constraints for Free in Concurrent ComputationJoachim Niehren, Martin Müller. 171-186
- Formalizing Inductive Proofs of Message Recovery in Distributed SystemsPankaj Jalote. 187-194
- Detecting Distributed Termination in the Presence of Node FailureXinfeng Ye, John A. Keane. 195-209
- An Extended Gradient Model for NUMA Multiprocessor SystemsFeixiong Liu, Thomas Peikenkamp, Werner Damm. 210-224
- Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected ComputersShao Dong Chen, Hong Shen, Rodney W. Topor. 225-238
- Pipelined Band Join in Shared-Nothing SystemsHongjun Lu, Kian-Lee Tan. 239-253
- Inductive Logic Programming Based on Genetic AlgorithmKimihiro Yamamoto, Shozo Naito, Masaki Itoh. 254-268
- The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained ResolutionShan-Hwei Nienhuys-Cheng, Ronald de Wolf. 269-285
- Probabilistic Logic Programming and Bayesian NetworksLiem Ngo, Peter Haddawy. 286-300
- Deriving and Applying Logic Program TransformersPenny Anderson, David A. Basin. 301-318
- Performance of a Data-Parallel Concurrent Constraint Programming SystemBo-Ming Tong, Ho-Fung Leung. 319-334
- Formalizing Inductive Proofs of Network AlgorithmsRamesh Bharadwaj, Amy P. Felty, Frank A. Stomp. 335-349
- TROM - An Object Model for Reactive System DevelopmentRamesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan. 350-364
- Duration Calculus Specification of Schedulimg for Tasks with Shared ResourcesPhilip Chan, Dang Van Hung. 365-380
- Trace Specifications of Non-Deterministic Multi-Object ModulesMichal Iglewski, Marcin Kubica, Jan Madey. 381-395
- ESP-MC: An Experiment in the Use of Verification ToolsXiaojun Chen, Paola Inverardi, Carlo Montangero. 396-410