| Topology, computer science and the mathematics of convergence / A.W. Roscoe |
| The soundness and completeness of axioms for CSP processes / Stepen Blamey |
| Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith |
| Algebraic posets, algebraic cpo's and models of concurrency / Michael W. Mislove |
| Concurrency semantics based on metric domain equations / J.W. de Bakker ; J.J.M.M. Rutten |
| On topological characterization of behavioral properties / Marta Z. Kwiatkowska |
| Order and strongly sober compactifications / J.D. Lawson |
| Totally bounded spaces and compact ordered spaces as domains of computation / Michael B. Smyth |
| A characterization of effective topological spaces II / Dieter Spreen |
| The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis / Klaus E. Grue |
| Digital topology: a comparison of the graph-based and topological approaches / T.Y. Kong |
| Tiling the plane with one tile / D. Girault-Beauquier ; M. Nivat |
| An algebraic axiomatization of linear logic models / Narcisco Marti-Oliet ; Jose Meseguer |
| Types as theories / Joseph A. Goguen |
| Topology, computer science and the mathematics of convergence / A.W. Roscoe |
| The soundness and completeness of axioms for CSP processes / Stepen Blamey |
| Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith |
図書
