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