Gian Luca Cattani und Presheaf Models - Info zur Person

(1 - 17 von 19

)

!!Glynn Winskel - Curriculum vitae \\ Qualifications: \\ *B.A. in ...

www.ae-info.org

[[A18] Torben Bräuner: An Axiomatic Approach to Adequacy. PhD thesis, November [[A19] Gian Luca Cattani: Presheaf Models for Concurrency.

Presheaf Models for CCS-like Languages - Gian Luca Cattani ...

books.google.com

› about

Presheaf Models for CCS-like Languages - Gian Luca Cattani, Glynn...

books.google.com.ua

Abstract:

Search results for "Category Theory and Computer Science" –...

dblp.l3s.de

Gian Luca Cattani, Ian Stark, Glynn Winskel: Presheaf Models for the pi-Calculus. Category Theory and Computer Science : 1997: DBLP DOI BibTeX RDF: 1:

Presheaf models for the π-calculus | SpringerLink

link.springer.com

Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is...

Computer Science Logic, 10th International Workshop, CSL ...

researchr.org

34-57; Presheaf Models for ConcurrencyGian Luca Cattani, Glynn Winskel ; Directed Virtual ReductionsVincent Danos, Marco Pedicini, Laurent Regnier. › csl:1996

Alle Infos zum Namen "Gian Luca Cattani"

Gian Luca Cattani in nLabnCatLab

ncatlab.org

— 1. Selected writings. On profunctors with application to computer science: Gian Luca Cattani, Presheaf Models for Concurrency, PhD thesis from ...

Category Theory and Computer Science 1997SIGMOD.org

sigmod.org

BibTeX · Gian Luca Cattani, Ian Stark, Glynn Winskel: Presheaf Models for the pi-Calculus BibTeX · Daniele Turi: Categorical Modelling of ...

[PDF] Presheaf Models for the pi-CalculusSemantic Scholar

www.semanticscholar.org

Gian Luca Cattani, I. Stark, G. Winskel; Published in Category Theory and Computer… 4 June 1997; Computer Science. Recent work has shown that presheaf ...

Presheaf models for CCS-like languages / Gian Luca Cattani,

babel.hathitrust.org

Presheaf models for CCS-like languages / Gian Luca Cattani, Limited View | HathiTrust Digital Library | HathiTrust Digital Library. Skip to main ...

CTCS'97 final CFP

www.seas.upenn.edu

... Univ. of Edinburgh (UK) LATE REGISTRATION AND HOTEL RESERVATION Presheaf Models for the pi-Calculus by Gian Luca Cattani, Ian Stark, ...

x035

sites.radford.edu

... Precondition Semantics for Communicating Processes. journals/tcs/CattaniW03:::Gian Luca Cattani::Glynn Winskel:::Presheaf models for CCS-like languages.

Management

pauillac.inria.fr

Presheaf Models Gian Luca Cattani has recently joined the Cambridge site, ... before arrival at Cambridge), and a joint paper with Power, at Edinburgh, and ...

CiteSeerX — Presheaf Models Concurrency

citeseerx.ist.psu.edu

@TECHREPORT{Cattani99presheafmodels, author = {Gian Luca Cattani and Gian Luca Cattani and Gian Luca Cattani}, title = {Presheaf Models Concurrency} ,

CiteSeerX — Presheaf Models for the pi-Calculus

citeseerx.ist.psu.edu

@MISC{Cattani97presheafmodels, author = {Gian Luca Cattani and Gian Luca Cattani and Ian Stark and Ian Stark and Glynn Winskel and Glynn Winskel},

The Pi Calculus | The n-Category Café

golem.ph.utexas.edu

Gian Luca Cattani and Ian Stark and Glynn Winskel, Presheaf models for the pi- calculus. Roberto Bruni and Ugo Montanari, Cartesian closed ...

Show PNX

esploro.libs.uga.edu

... Fabio Gadducci -- Presheaf models for the [pi]-calculus / Gian Luca Cattani, Ian Stark, Glynn Winskel -- Categorical modelling of structural operational ... › fulldi...

Verwandte Suchanfragen zu Gian Luca Cattani

John Power
Umberto Poli
Jim Sorensen

Luigi Giorno

Personen
Vorname "Luca" (10642)
Name "Cattani" (136)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Gian Luca Cattani und Presheaf Models Person-Info