In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-reactant, multiproduct chemical re-actions. Some examples are reported to validate our extension.
The pi-calculus with Biological Transactions / Priami, Corrado; Ciocchetta, Federica. - ELETTRONICO. - (2006), pp. 1-17.
The pi-calculus with Biological Transactions
Priami, Corrado;Ciocchetta, Federica
2006-01-01
Abstract
In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-reactant, multiproduct chemical re-actions. Some examples are reported to validate our extension.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TR-02-2006.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
264.41 kB
Formato
Adobe PDF
|
264.41 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
