Gian Luigi Ferrari. Unifying Models of Concurrency. PhD thesis, University of Pisa, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Sheaf Semantics for Concurrent Interacting Objects - Goguen (1992) (34 citations) (Correct)
....for example, to the security of real time distributed concurrent (possibly object oriented) databases. A definition of deadlock is also given, which again seems more general than anything in the literature. Category theory has by now been used in many studies of concurrency; for example, see [45, 35, 11]. But as far as I know, only Monteiro and Pereira [37] have previously studied concurrency using sheaves; however, their approach does not seem to be closely related to the present paper. Prerequisites and Notation Basic category theory and some intuition for concurrency are needed to read this ....
Gian Luigi Ferrari. Unifying Models of Concurrency. PhD thesis, University of Pisa, 1990.
A Categorical Manifesto - Goguen (1991) (20 citations) (Correct)
....but nevertheless enjoys many of the same properties. The category of Petri nets studied in [52] has already been mentioned, and a variety of recent work suggests that monoidal categories may be broadly useful in understanding the relationships among the various theories of concurrency, e.g. see [12]. 8.3 Indexed Categories. A strict indexed category is just a functor B op Cat. The papers [62] and [23] give many examples of indexed categories in computing science, and [62] gives some general theorems, including simple sufficient conditions for completeness of the associated ....
Gian Luigi Ferrari. Unifying Models of Concurrency. PhD thesis, University of Pisa, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC