Foundations of Software Technology and Theoretical Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 37 Algebraic operational semantics
3. Altmetric Badge
   Chapter 38 On ambiguity of DTOL systems
4. Altmetric Badge
   Chapter 39 The equivalence problem for n-tape finite automata with simple cycles
5. Altmetric Badge
   Chapter 40 Relating the degree of ambiguity of finite automata to the succinctness of their representation
6. Altmetric Badge
   Chapter 41 Automata, games, and positive monadic theories of trees
7. Altmetric Badge
   Chapter 42 An algorithm for colouring perfect planar graphs
8. Altmetric Badge
   Chapter 43 Efficient algorithms for domination and Hamilton circuit problems on permutation graphs
9. Altmetric Badge
   Chapter 44 Fast parallel algorithms for the subgraph homeomorphism and the subgraph isomorphism problem for classes of planar graphs
10. Altmetric Badge
    Chapter 45 Improved bounds for covering general polygons with rectangles
11. Altmetric Badge
    Chapter 46 Submodule construction as equation solving in CCS
12. Altmetric Badge
    Chapter 47 Computations in undistinguished networks
13. Altmetric Badge
    Chapter 48 A distributed algorithm to implement n-party rendezvous
14. Altmetric Badge
    Chapter 49 Merge and termination in process algebra
15. Altmetric Badge
    Chapter 50 Parallelism and programming: A perspective
16. Altmetric Badge
    Chapter 51 On optimal parallelization of sorting networks
17. Altmetric Badge
    Chapter 52 Parallel algorithms for approximate edge colouring of simple graphs
18. Altmetric Badge
    Chapter 53 An optimal randomized routing algorithm for the Mesh and a class of efficient Mesh-like routing networks
19. Altmetric Badge
    Chapter 54 An O(n 2 ) algorithm for fan-out free query optimization
20. Altmetric Badge
    Chapter 55 Weak consistency of read-only transactions: A tool to improve concurrency in heterogeneous locking protocols
21. Altmetric Badge
    Chapter 56 Optimizing join queries in distributed databases
22. Altmetric Badge
    Chapter 57 Reasoning in systems of equations and inequations
23. Altmetric Badge
    Chapter 58 Specification=program+types
24. Altmetric Badge
    Chapter 59 Paraconsistent logic programming
25. Altmetric Badge
    Chapter 60 Semantics of distributed Horn clause programs
26. Altmetric Badge
    Chapter 61 The calculus of constructions : State of the art
27. Altmetric Badge
    Chapter 62 Modules for re-use
28. Altmetric Badge
    Chapter 63 Hierarchical refinement of A Z specification
29. Altmetric Badge
    Chapter 64 Lazy pattern matching in the ML language
30. Altmetric Badge
    Chapter 65 Program development using lambda abstraction
31. Altmetric Badge
    Chapter 66 Relativized Arthur-Merlin versus Merlin-Arthur games
32. Altmetric Badge
    Chapter 67 Probabilistic quantifiers vs. distrustful adversaries
33. Altmetric Badge
    Chapter 68 On certain bandwidth restricted versions of the satisfiability problem of propositional CNF formulas
34. Altmetric Badge
    Chapter 69 A look-ahead interpreter for sequential Prolog and its implementation
35. Altmetric Badge
    Chapter 70 Extension of weakest precondition formalism to a low level language
36. Altmetric Badge
    Chapter 71 Retrospection on the PQCC compiler structure
37. Altmetric Badge
    Chapter 72 Some recent applications of knowledge