<--- Back to Details
First PageDocument Content
Theoretical computer science / Mathematics / Logic in computer science / Programming language semantics / Models of computation / Computing / Algebraic topology / Sheaf / Operational semantics / Petri net / Mobile membranes
Date: 2015-12-18 06:55:15
Theoretical computer science
Mathematics
Logic in computer science
Programming language semantics
Models of computation
Computing
Algebraic topology
Sheaf
Operational semantics
Petri net
Mobile membranes

December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILE

Add to Reading List

Source URL: pages.di.unipi.it

Download Document from Source Website

File Size: 257,12 KB

Share Document on Facebook

Similar Documents

HSC 8 - Water November 19, 2014 Research Center, Pori / Petri Kobylin, Peter BjörklundORC-J

DocID: 1veqN - View Document

HSC 8 – Equilibrium Module November 25, 2014 Research Center, Pori / Petri Kobylin, Lena Furta, Danil VilaevORC-J

DocID: 1vbcR - View Document

Imperial College London Department of Computing Automated Construction of Petri Net Performance Models from High-Precision Location Tracking Data

DocID: 1v0XK - View Document

HSC 8 – Heat and Material Balance November 19, 2014 Research Center, Pori / Petri Kobylin, Antti Roine, Peter BjörklundORC-J

DocID: 1uNE7 - View Document

Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U

DocID: 1uLAw - View Document