Jonathan Hayman and Glynn Winskel - Free people check

(1 - 7 from 7

)

CiteSeerX — Graphs, Rewriting and Pathway Reconstruction for...

citeseerx.ist.psu.edu

... {Vincent Danos and Jérôme Feret and Walter Fontana and Russell Harmer and Jonathan Hayman and Jean Krivine and Chris Thompson-walsh and Glynn Winskel} ...

CiteSeerX — Symmetry in Petri nets

citeseerx.ist.psu.edu

BibTeX. @MISC{Hayman08symmetryin, author = {Jonathan Hayman and Glynn Winskel}, title = {Symmetry in Petri nets}, year = {2008} } ...

dblp: BibTeX records: Glynn Winskel

dblp.uni-trier.de

List of computer science publications by BibTeX records: Glynn Winskel

All web results to the name "Jonathan Hayman"

Glynn Winskel's Home Page

www.cl.cam.ac.uk

Professor Glynn Winskel . Computer Laboratory University of Cambridge William Gates Building Cambridge CB3 0FD, UK ... With Jonathan Hayman. LICS'06, pdf.

DROPS - The unfolding of general Petri nets

drops.dagstuhl.de

BibTeX - Entry. @InProceedings{hayman_et_al:LIPIcs:2008:1755, author = {Jonathan Hayman and Glynn Winskel}, title = {{The unfolding of general Petri nets}}, ...

LICS - Archive

lics.siglog.org

Jonathan Hayman. Paper: Jonathan Hayman Glynn Winskel Independence and Concurrent Separation Logic (LICS 2006) More Information.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell...

www.di.ens.fr

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh,& Glynn Winskel.

Related search requests for Jonathan Hayman

Glynn Winskel

People
Forename "Jonathan" (50513)
Name "Hayman" (1816)

sorted by relevance / date

Advanced Search

Search name: 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

Jonathan Hayman and Glynn Winskel Free People Check