[Concurrency] survey on models of true concurrency?
Dear all,
could you please give a few references to surveys, or (hand)books
where I would find a comprehensive (and preferably up to date)
presentation of various models of true concurrency.
I know only of the work of G.Winskel et al. from the Handbook of Logic
in Computer Science where the presentation is from a cathegory theory
point of view, and the similar work published in TCS.
I am more interested in a comparison like presentation, a presentation
that explains which model is good for which type of problems.
thank you very much,
Cristian Prisacariu.
–
—————————————————————–
Have a nice day from
Cristian Prisacariu
member of PMA group (Precise Modeling and Analysis)
at Dept. of Informatics, Univ. of Oslo,
P.O.box 1080, 0316 Blindern, Oslo, Norway.
http://www.ifi.uio.no/forskning/grupper/pma/index_e.html
Also visit my home page at
http://www.ifi.uio.no/~cristi
—————————————————————–
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency