281 results in SearchWorks catalog

101. Inferring surface shape by specular stereo

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)
101871	Available

102. A metric characterization of fair computations in 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)
101862	Available

103. On observational equivalence and algebraic specification

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)
101865	Available

104. On proving limiting completeness

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)
101869	Available

105. Partitioning programmable logic arrays

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)
101859	Available

106. Proving systolic systems correct

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)
100428	Available

107. Quasi-varieties in abstract 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)
101866	Available

108. Recursively defined domains and their induction principles

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)
101868	Available

109. Scale: a language for VLSI design

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)
019371	Available

110. Simulation and verification: related techniques for hardware analysis

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)
101867	Available

111. Specification and proof of a simple fault tolerant system in 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)
101870	Available

112. The standard ML core 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)
101861	Available

113. A sticks front end for scale

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)
100429	Available

114. A syntax directed approach for implementing the rendezvous mechanism 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)
100427	Available

115. Towards verifiably correct VLSI design

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)
100430	Available

116. Behavioral correctness of data representations

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)
103308	Available

117. Complementary partial orders and rectangle packing

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)
103312	Available

118. A compositional reformulation of Owicki-Gries's partial correctness for a parallel while 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)
103311	Available

119. The Edinburgh node of the Proteus distributed database 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)
103313	Available

120. IE 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)
119257	Available

121. An investigation into stretchable cells for scale

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)
101872	Available

122. LAYOUT formatting language 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)
104989	Available

123. Modal logics for 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)
103315	Available

124. Random generation of combinatorial structures from a uniform distribution

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)
103310	Available

125. Raquel user 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)
119256	Available

126. Specifications in an arbitrary institution

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)
101873	Available

127. The unification of terms: a category-theoretic 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)
103314	Available

128. Using weak continuity constraints - what they are, and how they do it.

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)
103309	Available

129. Weak and strong fairness in 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)
101860	Available

130. A complete axiomatisation for observational congruence of finite-state 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)
106958	Available

131. A complete protocol verification using relativized bisimulation

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)
106963	Available

132. Computing with categories

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)
106959	Available

133. Constructive validity is nonarithmetic

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)
106949	Available

134. Extended ML: an institution-independent framework for formal program development

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)
106965	Available

135. Formal specification of ML 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)
106964	Available

136. Functor-category semantics of programming languages and 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)
106955	Available

137. Graphical display of a concurrent device simulation using CIRCAL

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)
106950	Available

138. Hardware description languages: some recent developments

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)
104810	Available

139. Introduction to 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)
095201	Available

140. Is computing an experimental science?

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)
106954	Available

141. Markov's principle, isols, and Dedekind finite sets

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)
106948	Available

142. Modules and persistence in 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)
106961	Available

143. OC: a portable occam compiler first pass

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)
106947	Available

144. On the geometric information obtainable from simultaneous observation of stereo contour and shading

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)
106951	Available

145. Parallel parsing on an array of processors

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)
106946	Available

146. Quantification in Algol-like 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)
106957	Available

147. Research in interactive theorem proving at Edinburgh University

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)
106962	Available

148. The role of behaviour in VLSI design 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)
106945	Available

149. Semantic analysis of specification logic

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)
106956	Available

150. A silicon pre-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)
106953	Available

151. SILVER -- the language and its 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)
106952	Available

152. 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)
095200	Available

153. 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)
104990	Available

154. A study in the foundations of programming methodology: specifications, institutions, charters and prachments

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)
106960	Available

155. Toward formal development of programs from algebraic specifications: implementations revisited

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)
106966	Available

156. Verifying a CSMA/CD-protocol with 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)
106967	Available

157. Weak continuity constraints in computer vision

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)
104809	Available

158. Approximate counting, uniform generation and rapidly mixing Markov chains

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)
108419	Available

159. Behavioral abstraction and circuit verification using Circal

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)
109258	Available

160. Bisimulation equivalence and divergence in 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)
108413	Available

161. Changes in the standard ML core 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)
108418	Available

162. Comparing linear and branching time temporal 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)
108407	Available

163. Configurable logic: an approach to the rapid implementation of ASIC's.

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)
108412	Available

164. A data structure for systems of orthogonal, non-overlapping rectangles

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)
108417	Available

165. An environment for formal 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)
108420	Available

166. The evolution of the Fred 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)
109253	Available

167. Fifth Workshop on Specification of Abstract Data Types, 1-4 September 1987. Abstracts

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)
109256	Available

168. A framework for defining 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)
108406	Available

169. Gentzenizing Schroeder-Heister's natural extension of natural deduction

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)
108403	Available

170. Hoare's logic in the LF.

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)
108416	Available

171. Inductively defined functions in functional 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)
108408	Available

172. Introduction to a 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)
108405	Available

173. Relative completeness in algebraic 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)
109259	Available

174. The semantics and proof theory of linear logic

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)
108410	Available

175. The semantics of 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)
108422	Available

176. Simple consequence relations

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)
108414	Available

177. Some thoughts on algebraic specification

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)
108404	Available

178. Submodule construction as equation solving in 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)
108409	Available

179. Synchronization flow 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)
108421	Available

180. A type discipline for program modules

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)
108411	Available

181. Using typed lambda calculus to implement formal systems on 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)
108415	Available

182. Variations on a thesis: intuitionism and computability

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)
108423	Available

183. Verification of programs that destructively manipulate data

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)
109255	Available

184. Analysing mutual exclusion algorithms using 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)
109263	Available

185. Approximating the permanent

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)
111253	Available

186. An attempt at translating VHDL into CIRCAL

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)
111246	Available

187. Chromatic idioms for automated VLSI floorplanning

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)
109261	Available

188. Co-induction in relational 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)
111256	Available

189. Computational lambda-calculus and monads

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)
111257	Available

190. Constructing type systems over an operational 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)
111250	Available

191. A diagramming paradigm for hierarchical process oriented discrete event simulation

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)
109260	Available

192. Edinburgh University postgraduate examination questions in computation theory, 1978-1988

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)
111254	Available

193. An equational formulation of LF.

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)
111258	Available

194. The essence of ML.

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)
109257	Available

195. An experimenter tool for an integrated modelling support environment - its role and design

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)
111255	Available

196. Fast uniform generation of regular graphs

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)
111259	Available

197. Foundations and proof theory of 3-valued 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)
111241	Available

198. A higher-order calculus and theory abstraction

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)
111248	Available

199. How to breed hybrid compiler/interpreters

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)
111793	Available

200. Improved methods for performance engineering. SIMMER II, Edinburgh report

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)
109763	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

101. Inferring surface shape by specular stereo

102. A metric characterization of fair computations in CCS.

103. On observational equivalence and algebraic specification

104. On proving limiting completeness

105. Partitioning programmable logic arrays

106. Proving systolic systems correct

107. Quasi-varieties in abstract algebraic institutions

108. Recursively defined domains and their induction principles

109. Scale: a language for VLSI design

110. Simulation and verification: related techniques for hardware analysis

111. Specification and proof of a simple fault tolerant system in CCS.

112. The standard ML core language

113. A sticks front end for scale

114. A syntax directed approach for implementing the rendezvous mechanism in Ada.

115. Towards verifiably correct VLSI design

116. Behavioral correctness of data representations

117. Complementary partial orders and rectangle packing

118. A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language

119. The Edinburgh node of the Proteus distributed database system

120. IE reference manual

121. An investigation into stretchable cells for scale

122. LAYOUT formatting language reference manual

123. Modal logics for communicating systems

124. Random generation of combinatorial structures from a uniform distribution

125. Raquel user manual

126. Specifications in an arbitrary institution

127. The unification of terms: a category-theoretic algorithm

128. Using weak continuity constraints - what they are, and how they do it.

129. Weak and strong fairness in CCS.

130. A complete axiomatisation for observational congruence of finite-state behaviours

131. A complete protocol verification using relativized bisimulation

132. Computing with categories

133. Constructive validity is nonarithmetic

134. Extended ML: an institution-independent framework for formal program development

135. Formal specification of ML programs

136. Functor-category semantics of programming languages and logics

137. Graphical display of a concurrent device simulation using CIRCAL

138. Hardware description languages: some recent developments

139. Introduction to Standard ML.

140. Is computing an experimental science?

141. Markov's principle, isols, and Dedekind finite sets

142. Modules and persistence in standard ML.

143. OC: a portable occam compiler first pass

144. On the geometric information obtainable from simultaneous observation of stereo contour and shading

145. Parallel parsing on an array of processors

146. Quantification in Algol-like languages

147. Research in interactive theorem proving at Edinburgh University

148. The role of behaviour in VLSI design languages

149. Semantic analysis of specification logic

150. A silicon pre-compiler

151. SILVER -- the language and its implementation

152. Standard ML.

153. Standard ML.

154. A study in the foundations of programming methodology: specifications, institutions, charters and prachments

155. Toward formal development of programs from algebraic specifications: implementations revisited

156. Verifying a CSMA/CD-protocol with CCS.

157. Weak continuity constraints in computer vision

158. Approximate counting, uniform generation and rapidly mixing Markov chains

159. Behavioral abstraction and circuit verification using Circal

160. Bisimulation equivalence and divergence in CCS.

161. Changes in the standard ML core language

162. Comparing linear and branching time temporal logics

163. Configurable logic: an approach to the rapid implementation of ASIC's.

164. A data structure for systems of orthogonal, non-overlapping rectangles

165. An environment for formal systems

166. The evolution of the Fred machine

167. Fifth Workshop on Specification of Abstract Data Types, 1-4 September 1987. Abstracts

168. A framework for defining logics