Categories of dimaps and their dihomotopies in po-spaces and local po-spaces

AbstractThis report1 1This research was supported by a 3-week visiting fellowship from the University of Aalborg, Denmark, by the State Committee for Scientific Research in Poland (grant 8 T11C 037 16) and by the Institute of Computer Science PAS. investigates a number of different notions of dimaps in [local] po-spaces, and of their dihomotopies. It discusses their respective advantages and drawbacks in modeling concurrency. This should be considered as a contribution towards putting some order into the foundations of the approach