TY  - JOUR
AU  - Rosa Velardo, Fernando
AU  - Frutos Escrig, David De
PY  - 2008
SN  - 0169-2968
UR  - https://hdl.handle.net/20.500.14352/50549
T2  - Fundamenta informaticae
AB  - We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamically producing pure names, with no relation between them other than equality or...
LA  - eng
M2  - 329
PB  - IOS Press
KW  - Petri nets
KW  - Pure names
KW  - Infinite state systems
KW  - Decidability
KW  - Multithreading
KW  - Security
KW  - Choreography
TI  - Name creation vs. replication in Petri net systems
TY  - journal article
VL  - 88
ER  -