Results 1 
4 of
4
Homology of Higher Dimensional Automata
, 1992
"... . Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bicomplexes as an algebraic tool for describing these automata and develop a simple homology theory ..."
Abstract

Cited by 43 (11 self)
 Add to MetaCart
. Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bicomplexes as an algebraic tool for describing these automata and develop a simple homology theory for higher dimensional automata. We then show how the homology of automata has applications in the study of branchingtime equivalences of processes such as bisimulation. 1 Introduction Geometry has been suggested as a tool for modeling concurrency using higher dimensional objects to describe the concurrent execution of processes. This contrasts with earlier models based on the interleaving of computation steps to capture all possible behaviours of a concurrent system. Interleaving models must necessarily commit themselves to a specific choice of atomic action which makes them unable to distinguish between the execution of two truly concurrent actions and two mutually exclusive actions as t...
Restriction categories III: colimits, partial limits, and extensivity
 Mathematical Structures in Computer Science
, 2007
"... ..."
THE STRUCTURE OF THE BOUSFIELD LATTICE
, 1998
"... Abstract. Using Ohkawa’s theorem that the collection B of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of B is a frame, and we examine some consequences of th ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. Using Ohkawa’s theorem that the collection B of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of B is a frame, and we examine some consequences of this observation. We make several conjectures about the structure of B and DL. 1.