MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Presheaf Models for Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Presheaf Models for the pi-Calculus  
  • by Gian Luca Cattani, Gian Luca Cattani, Ian Stark, Ian Stark, Glynn Winskel, Glynn Winskel — 1997
  • … of the -calculus; presheaf models for concurrency; the category Prof of profunctors; and the functor category Prof…
  • Cited by 11 (3 self) – Add To MetaCart
  • BRICS Dissertation Series 1996-01  
  • by Brics, Lars Arge, Data Structures, Rune B. Lyngs, Computational Biology, March Phd — 2002
  • …, PostScript, PDF. Gian Luca Cattani. Presheaf Models for Concurrency (Unrevised). April 1999. Ph…
  • Add To MetaCart
  • Presheaf Models for CCS-like Languages  
  • by Glynn Winskel, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani — 1999 — Theoretical Computer Science
  • …] to study presheaf models for concurrent computation. There are several reasons for doing this. One reason…
  • Cited by 7 (2 self) – Add To MetaCart
  • Basic Research in Computer Science  
  • by Profunctors Open Maps, Gian Luca Cattani, Glynn Winskel, Copyright C, Gian Luca Cattani, Glynn Winskel, Gian Luca Cattani, Glynn Winskel — 2004
  • … branch. Presheaf categories fill in the landscape of models to provide a range of models for concurrency…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB