MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Presheaf models for CCS-like languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Presheaf Models for CCS-like Languages  
  • by Glynn Winskel, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani — 1999 — Theoretical Computer Science
  • …BRICS RS-99-36 Cattani & Winskel: Presheaf Models for CCS-like Languages BRICS Basic Research…
  • Cited by 7 (2 self) – Add To MetaCart
  • unknown title  
  • by Robin Milner, Peter Sewell
  • … general work on labels. Cattani completed work with Winskel on presheaf models for CCS-like languages…
  • Add To MetaCart
  • March 1999. 21 pp. Appears in Mendelzon, editor,  
  • by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
  • …. Presheaf Models for CCS- like Languages. November 1999. ii+46 pp. [RS-99-35] Abstract, PostScript, PDF…
  • Add To MetaCart
  • Presheaf Models for Concurrency  
  • by Gian Luca Cattani, Gian Luca Cattani — 1999
  • … . . . . . . . . . . . . . . . . . . . . . . . . . 34 3 Presheaf Models for CCS-like languages 37 3.1 A general process language and its categorical…
  • Cited by 44 (21 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB