Home Advanced Search

Advanced Search - Page 1

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri (auth.)
Introduction to Concurrency Theory: Transition Systems and CCS
  • PDF
  • English
  • Year: 2015
  • Author: Roberto Gorrieri, Cristian Versari (auth.)
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • english
  • Year: 2017
  • Author: Roberto Gorrieri
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design: Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
  • PDF
  • English
  • Year: 2004
  • Author: Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)
Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)
search