Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 75
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 -
Mostrati risultati da 1 a 20 di 75
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