Presheaf Models for Concurrency

Presheaf Models for Concurrency (1999)

by Gian Luca Cattani

Citations:

43 - 19 self

Presheaf Models for Concurrency –Gian Luca Cattani — 1999

Presheaf Models Concurrency –Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani — 1999

Presheaf Models for Concurrency –Gian Luca Cattani, Gian Luca Cattani, Glynn Winskel, Glynn Winskel — 1996

Presheaf Models for Concurrency –Gian Luca Cattani, Glynn Winskel — 1997

Presheaf Models for Concurrency –Gian Luca Cattani, Gian Luca Cattani, Glynn Winskel, Glynn Winskel — 1999