| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422206 | Electronic Notes in Theoretical Computer Science | 2009 | 12 Pages |
Abstract
L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
