close
1.

図書

図書
edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, c1991  390 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
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
2.

図書

図書
edited by S.D. Brookes, A.W. Roscoe and G. Winskel
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  x, 523 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 197
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼