Sfoglia per Autore
Two standards means problems: A case study on formal protocol descriptions
1989 Fantechi A.; Gnesi S.; Laneve C.
Formal Molecular Biology
2004 DANOS V.; LANEVE C.
Foundations of web transactions
2005 C. Laneve; G. Zavattaro
Webpi at work
2005 C. Laneve; G. Zavattaro
PiDuce: a process calculus with native XML datatypes
2005 A. Brown; C. Laneve; G. Meredith
BoPi: a distributed machine for experimenting web-services technologies
2005 S. Carpineti; C. Laneve; P. Milazzo
A rude contract language for web services
2006 C. Laneve; S. Carpineti
A formal account of contracts for web services
2006 S. Carpineti; G. Castagna; C. Laneve; L. Padovani
A basic contract language for web services
2006 CARPINETI S.; LANEVE C.
Smooth Orchestrators
2006 Laneve C.; Padovani L.
PiDuce
2006 C. Laneve; L. Padovani; S. Carpineti
Linear forwarders
2007 P. Gardner; C. Laneve; L. Wischik
A simple calculus with proteins and cells
2007 C. Laneve; F. Tarissan
Linguaggi di Programmazione e Sistemi Software
2007 N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003)
2007 V. Danos C. Laneve
The must preorder revisited
2007 C. Laneve; L. Padovani
Modelization and Simulation of Nano Devices in k-Calculus
2007 A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro
A simple calculus for proteins and cells
2008 C. Laneve; F. Tarissan
The Pairing of Contracts and Session Types
2008 C. Laneve; L. Padovani
Expressivity in the kappa Family
2008 C. Laneve; A. Vitale
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Two standards means problems: A case study on formal protocol descriptions | Fantechi A.; Gnesi S.; Laneve C. | 1989-01-01 | COMPUTER STANDARDS & INTERFACES | - | 1.01 Articolo in rivista | - |
Formal Molecular Biology | DANOS V.; LANEVE C. | 2004-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Foundations of web transactions | C. Laneve; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Webpi at work | C. Laneve; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
PiDuce: a process calculus with native XML datatypes | A. Brown; C. Laneve; G. Meredith | 2005-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
BoPi: a distributed machine for experimenting web-services technologies | S. Carpineti; C. Laneve; P. Milazzo | 2005-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
A rude contract language for web services | C. Laneve; S. Carpineti | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A formal account of contracts for web services | S. Carpineti; G. Castagna; C. Laneve; L. Padovani | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A basic contract language for web services | CARPINETI S.; LANEVE C. | 2006-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Smooth Orchestrators | Laneve C.; Padovani L. | 2006-01-01 | - | Springer Verrlag | 4.01 Contributo in Atti di convegno | - |
PiDuce |
C. Laneve; L. Padovani; S. Carpineti |
2006-01-01 | - | - | 7.04 Software | - |
Linear forwarders | P. Gardner; C. Laneve; L. Wischik | 2007-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
A simple calculus with proteins and cells | C. Laneve; F. Tarissan | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Linguaggi di Programmazione e Sistemi Software | N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro | 2007-01-01 | - | Zanichelli | 2.01 Capitolo / saggio in libro | - |
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) |
V. Danos C. Laneve |
2007-01-01 | - | Elsevier | 3.02 Curatela | - |
The must preorder revisited | C. Laneve; L. Padovani | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Modelization and Simulation of Nano Devices in k-Calculus | A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A simple calculus for proteins and cells | C. Laneve; F. Tarissan | 2008-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
The Pairing of Contracts and Session Types | C. Laneve; L. Padovani | 2008-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Expressivity in the kappa Family | C. Laneve; A. Vitale | 2008-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile