281 results in SearchWorks catalog

1. A structural mapping for parallel digital logic simulation

University of Edinburgh. Department of Computer Science CSR-284-88.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
See linked record to request items bound together
112821 2ND IN VOL	Available

2. The complexity of computing the permanent [1977]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010834	Available

3. Concurrent processes and their syntax

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
009644	Available

4. Edinburgh LCF. [1977]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010786 PT.1	Available
010786 PT.2	Available

5. Fast probabilistic algorithms for Hamiltonian circuits and matchings

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010471	Available

6. Flowgraphs and flow algebras

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
009871	Available

7. Graph theoretic arguments in low-level complexity [1977]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010315	Available

8. A metalanguage for interactive proof in LCF. [1977]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010787	Available

9. Probabilistic nondeterminism [1977]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010822	Available

10. A theory of type polymorphism in programming

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
010178	Available

11. Algebras for communicating systems [1978]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
011581	Available

12. Augmented transition network grammars and semantic processing [1978]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
011154	Available

13. High level proof in LCF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013362	Available

14. Completeness classes in algebra [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013427	Available

15. Database systems [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013349	Available

16. LCF: a way of doing proofs with a machine

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013403	Available

17. LEGOS user reference manual

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119241	Available

18. Negation can be exponentially powerful [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013428	Available

19. Negative results on counting [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013429	Available

20. Petri nets, event structures and domains. Part 1. [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013566	Available

21. Probabilistic CPO's for nondeterminism [1979]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013417	Available

22. EMAS performance measurement experiments using a remote terminal emulator

Description: Book — p. ; cm.

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014436	Available

23. An experiment with "Edinburgh LCF.".

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
013550	Available

24. A fast parallel algorithm for routing in permutation networks

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014499	Available

25. Hope: an experimental applicative language

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014449	Available

26. On observing nondeterminism and concurrency

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014566	Available

27. Reducibility by algebraic projections

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014535	Available

28. The semantics of clear, a specification language

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014450	Available

29. Theory of FP systems in Edinburgh LCF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014498	Available

30. Universality considerations in VLSI circuits

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
014536	Available

31. Call-by-need = call-by-value + conditional

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
015526	Available

32. The equivalence of two semantic definitions: a case study in LCF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119243	Available

33. GOTOs: a study in the algebraic specification of programming languages

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119249	Available

34. Hope: an experimental applicative language

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
015460	Available

35. Inductive inference in reflexive domains

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119247	Available

36. An LCF-system for automatic creation of theories for 1-constructable data types

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119248	Available

37. The new Edinburgh persistent algorithmic language

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119250	Available

38. A new semantics for Clear

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119244	Available

39. Nondeterministic partial logic: isotonic and guarded truth-functions

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119246	Available

40. On the Blum Sakoda 7 pebble searching algorithm

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018136	Available

41. On the non-sequential behaviour of systems possessing a generalised free choice property

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119251	Available

42. PS-algol: an Algol with a persistent heap

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119252	Available

43. S-ALGOL: reference manual

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119245	Available

44. Size bounds for superconcentrators

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018135	Available

45. Algebras, theories and freeness: an introduction for computer scientists

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018140	Available

46. Algorithms for a persistent heap

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119254	Available

47. Axiomatising finite delay operators

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018154	Available

48. Calculi for synchrony and asynchrony

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018142	Available

49. The category theoretic solution of recursive domain equations [1982]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018141	Available

50. CIRCAL: a calculus for circuit description

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018153	Available

51. CMS - a chunk management system

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018143	Available

52. A complete inference system for a class of regular behaviours

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018144	Available

53. A complexity theory based on boolean algebra

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018137	Available

54. Concurrency, correctness, proof and undecidability in SDL like systems

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018150	Available

55. Countable nondeterminism and random assignment

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018138	Available

56. Families of fixed degree graphs for processor interconnection

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018152	Available

57. A finite delay operator in synchronous CCS.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018148	Available

58. Future branching time logics and fairness

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119253	Available

59. Intensional analysis of functions and types

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018149	Available

60. Non sequential behaviour: 1. [1982]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018151	Available

61. An operational semantics for CSP.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018146	Available

62. An operational semantics of tasking and exception handling in ADA.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018139	Available

63. Synchronous and asynchronous experiments of processes [1982]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018749	Available

64. Syntactic type checking using Scott retraction maps

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018145	Available

65. Two dimensional syntax for functional languages

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018147	Available

66. Algebraic laws for nondeterminism and concurrency

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018757	Available

67. A CCS specification of the OSI network service

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018760	Available

68. Complete modal theories for verifying communicating agents behaviour in recursive equations programs

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018752	Available

69. The complexity of finding minimum length generator sequences

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018763	Available

70. The correctness of a simple Silicon computer [1983]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018751	Available

71. Counting paths: nondeterminism as linear algebra

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018758	Available

72. Detecting global variables in denotational specifications

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018767	Available

73. A fair calculus of communicating systems

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018761	Available

74. A formal basis for the analysis of circuit timing

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018762	Available

75. Free constructions in algebraic institutions

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
019647	Available

76. A kernel language for algebraic specification and implementation

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018755	Available

77. A language of specified programs

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
019646	Available

78. An LCF proof of soundness of Hoare's logic - a paper without a happy ending

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
019644	Available

79. A LISP based Circal environment

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100419	Available

80. A model for nondeterministic machines

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018759	Available

81. Modelling finite delay operators

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100420	Available

82. Natural deduction theorem proving in set theory

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018766	Available

83. A note on tactics in LCF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018764	Available

84. Power domains and predicate transformers: a topological view

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018750	Available

85. The power of the future perfect in program logics

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100423	Available

86. A programming notation for tactical reasoning

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018765	Available

87. A proof theoretic characterization of observational equivalence

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018756	Available

88. A proposal for standard ML.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100424	Available

89. Specification and proof of a regular language recogniser in synchronous CCS.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018754	Available

90. Structured theories in LCF.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018753	Available

91. Testing equivalences for processes [1983]

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
018294	Available

92. A theory of program modules, their specification and implementation (extended abstract)

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100422	Available

93. Two complete axiom systems for a theory of communicating sequential processes

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100421	Available

94. Abstract algebraic institutions which strongly admit initial semantics

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100431	Available

95. An algebraic theory of fair asynchronous communication processes

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
101864	Available

96. A case study of the F.I.R.S.T. silicon compiler

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100425	Available

97. Completeness of proof systems for equational specifications

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
100426	Available

98. ECCE: Edinburgh Compatible Context Editor. Video version

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119255	Available

99. The Edwin user's guide

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
119242	Available

100. I.F.: an Idiomatic Floorplanner

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
101863	Available

SearchWorks catalog

Search Constraints

Refine your results

Access

Resource type

Date

Library

Language

Author

Organization (as author)

%{search_type} search results

281 catalog results

1. A structural mapping for parallel digital logic simulation

2. The complexity of computing the permanent [1977]

3. Concurrent processes and their syntax

4. Edinburgh LCF. [1977]

5. Fast probabilistic algorithms for Hamiltonian circuits and matchings

6. Flowgraphs and flow algebras

7. Graph theoretic arguments in low-level complexity [1977]

8. A metalanguage for interactive proof in LCF. [1977]

9. Probabilistic nondeterminism [1977]

10. A theory of type polymorphism in programming

11. Algebras for communicating systems [1978]

12. Augmented transition network grammars and semantic processing [1978]

13. High level proof in LCF.

14. Completeness classes in algebra [1979]

15. Database systems [1979]

16. LCF: a way of doing proofs with a machine

17. LEGOS user reference manual

18. Negation can be exponentially powerful [1979]

19. Negative results on counting [1979]

20. Petri nets, event structures and domains. Part 1. [1979]

21. Probabilistic CPO's for nondeterminism [1979]

22. EMAS performance measurement experiments using a remote terminal emulator

23. An experiment with "Edinburgh LCF.".

24. A fast parallel algorithm for routing in permutation networks

25. Hope: an experimental applicative language

26. On observing nondeterminism and concurrency

27. Reducibility by algebraic projections

28. The semantics of clear, a specification language

29. Theory of FP systems in Edinburgh LCF.

30. Universality considerations in VLSI circuits

31. Call-by-need = call-by-value + conditional

32. The equivalence of two semantic definitions: a case study in LCF.

33. GOTOs: a study in the algebraic specification of programming languages

34. Hope: an experimental applicative language

35. Inductive inference in reflexive domains

36. An LCF-system for automatic creation of theories for 1-constructable data types

37. The new Edinburgh persistent algorithmic language

38. A new semantics for Clear

39. Nondeterministic partial logic: isotonic and guarded truth-functions

40. On the Blum Sakoda 7 pebble searching algorithm

41. On the non-sequential behaviour of systems possessing a generalised free choice property

42. PS-algol: an Algol with a persistent heap

43. S-ALGOL: reference manual

44. Size bounds for superconcentrators

45. Algebras, theories and freeness: an introduction for computer scientists

46. Algorithms for a persistent heap

47. Axiomatising finite delay operators

48. Calculi for synchrony and asynchrony

49. The category theoretic solution of recursive domain equations [1982]

50. CIRCAL: a calculus for circuit description

51. CMS - a chunk management system

52. A complete inference system for a class of regular behaviours

53. A complexity theory based on boolean algebra

54. Concurrency, correctness, proof and undecidability in SDL like systems

55. Countable nondeterminism and random assignment

56. Families of fixed degree graphs for processor interconnection

57. A finite delay operator in synchronous CCS.

58. Future branching time logics and fairness

59. Intensional analysis of functions and types

60. Non sequential behaviour: 1. [1982]

61. An operational semantics for CSP.

62. An operational semantics of tasking and exception handling in ADA.

63. Synchronous and asynchronous experiments of processes [1982]

64. Syntactic type checking using Scott retraction maps

65. Two dimensional syntax for functional languages

66. Algebraic laws for nondeterminism and concurrency

67. A CCS specification of the OSI network service

68. Complete modal theories for verifying communicating agents behaviour in recursive equations programs