Papers


SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  380k v. 3 Jan 17, 2014, 9:48 AM Massimo Bartoletti
Ċ
View Download
  243k v. 2 Sep 4, 2012, 8:06 AM Massimo Bartoletti
Ċ
View Download
  544k v. 3 Feb 4, 2014, 3:51 AM Massimo Bartoletti
Ċ
View Download
  519k v. 1 Feb 20, 2013, 4:02 AM Massimo Bartoletti
Ċ
View Download
  449k v. 2 Feb 4, 2013, 9:08 AM Massimo Bartoletti
Ċ
View Download
  705k v. 5 Nov 30, 2014, 10:08 AM Massimo Bartoletti
ċ

Download
G. Ciobanu and G.M. Pinna. Catalytic Petri Nets are Turing Complete. In Proc. LATA, 2012  157k v. 1 Dec 12, 2011, 1:56 AM Massimo Bartoletti
Ċ
View Download
  476k v. 3 Mar 13, 2014, 9:38 AM Alceste Scalas
ċ

Download
  165k v. 1 Jul 1, 2011, 9:01 AM Massimo Bartoletti
Ċ
View Download
  812k v. 4 Sep 22, 2015, 1:01 AM Massimo Bartoletti
Ċ
View Download
  518k v. 3 Feb 15, 2017, 3:13 PM Massimo Bartoletti
Ċ
View Download
  2051k v. 1 Jan 9, 2014, 7:12 AM Ludovico Boratto
Ċ
View Download
  443k v. 3 Aug 10, 2015, 3:54 PM Massimo Bartoletti
Ċ
View Download
  172k v. 2 Aug 23, 2012, 8:13 AM Massimo Bartoletti
Ċ
View Download
Massimo Bartoletti and Roberto Zunino. A calculus of contracting processes. In LICS, 2010.  183k v. 1 Feb 9, 2011, 2:10 PM Massimo Bartoletti
Ċ
View Download
  666k v. 3 May 4, 2015, 5:56 AM Massimo Bartoletti
Ċ
View Download
  309k v. 1 Jun 25, 2014, 11:36 AM Ludovico Boratto
Ċ
View Download
  307k v. 1 Jun 3, 2014, 5:50 AM Ludovico Boratto
Ċ
View Download
  811k v. 16 Mar 3, 2017, 8:13 AM Massimo Bartoletti
Ċ
View Download
  293k v. 3 Apr 18, 2016, 10:03 AM Massimo Bartoletti
Ċ
View Download
  344k v. 3 Feb 15, 2017, 3:15 PM Massimo Bartoletti
Ċ
View Download
  279k v. 2 Sep 30, 2016, 9:17 AM Roberto Saia
Ċ
View Download
  756k v. 1 Sep 6, 2012, 3:57 AM Fabrizio Mulas
Ċ
View Download
  221k v. 1 Sep 6, 2012, 3:14 AM Fabrizio Mulas
Ċ
View Download
  700k v. 2 Jul 18, 2016, 9:09 AM Massimo Bartoletti
Ċ
View Download
  250k v. 1 Jun 8, 2016, 9:58 AM Roberto Saia
Ċ
View Download
  2068k v. 1 Jan 9, 2014, 7:12 AM Ludovico Boratto
Ċ
View Download
  286k v. 2 Aug 23, 2012, 8:13 AM Massimo Bartoletti
Ċ
View Download
  857k v. 3 Jul 30, 2016, 6:58 AM Massimo Bartoletti
Ċ
View Download
  2433k v. 1 Sep 3, 2014, 3:56 AM Paolo Pilloni
Ċ
View Download
  627k v. 1 Feb 18, 2013, 10:01 AM Alceste Scalas
Ċ
View Download
  558k v. 5 Sep 5, 2015, 1:57 AM Massimo Bartoletti
Ċ
View Download
Massimo Bartoletti and Roberto Zunino. Primitives for Contract-based Synchronization. In ICE, 2010  177k v. 1 Feb 12, 2011, 1:07 AM Massimo Bartoletti
Ċ
View Download
  170k v. 1 Apr 24, 2014, 9:16 AM Ludovico Boratto
Ċ
View Download
  255k v. 1 Jul 7, 2015, 10:35 AM Roberto Saia
Ċ
View Download
  298k v. 1 Jan 9, 2014, 8:59 AM Paolo Pilloni
Ċ
View Download
  651k v. 1 May 23, 2014, 9:38 AM Ludovico Boratto
Ċ
View Download
  500k v. 3 May 25, 2015, 1:48 PM Massimo Bartoletti
Ċ
View Download
  260k v. 2 Aug 23, 2012, 8:13 AM Massimo Bartoletti
Ċ
View Download
  272k v. 1 Jun 8, 2016, 9:58 AM Roberto Saia
Ċ
View Download
  196k v. 1 Jun 8, 2016, 9:58 AM Roberto Saia
Ċ
View Download
  335k v. 1 Sep 30, 2016, 5:23 AM Roberto Saia
Ċ
View Download
  133k v. 1 Jul 7, 2015, 10:35 AM Roberto Saia
Ċ
View Download
  323k v. 1 Sep 15, 2013, 9:56 AM Alceste Scalas
Ċ
View Download
  686k v. 5 May 23, 2015, 2:35 PM Massimo Bartoletti
Ċ
View Download
A. Scalas and M. Bartoletti. The LTS WorkBench. Submitted, 2015.  247k v. 4 Jun 5, 2015, 7:49 AM Alceste Scalas
Ċ
View Download
  424k v. 2 Nov 10, 2014, 5:22 AM Massimo Bartoletti
Ċ
View Download
  681k v. 1 Oct 31, 2013, 5:03 AM Paolo Pilloni
ċ

Download
  239k v. 1 May 24, 2011, 6:47 AM Massimo Bartoletti
Ċ
View Download
  177k v. 2 Feb 9, 2017, 3:15 AM Massimo Bartoletti
Ċ
View Download
  410k v. 2 Feb 9, 2017, 3:15 AM Massimo Bartoletti
Ċ
View Download
  352k v. 2 Feb 9, 2017, 3:15 AM Massimo Bartoletti
Ċ
View Download
  221k v. 1 Sep 6, 2012, 3:19 AM Fabrizio Mulas
Ċ
View Download
  615k v. 2 Aug 23, 2012, 8:11 AM Massimo Bartoletti
Ċ
View Download
  100k v. 1 Sep 30, 2016, 5:23 AM Roberto Saia
Ċ
View Download
  770k v. 1 Sep 6, 2012, 3:19 AM Fabrizio Mulas
Ċ
View Download
  175k v. 1 Aug 1, 2014, 7:57 AM Ludovico Boratto
Ċ
View Download
  186k v. 2 Jul 7, 2015, 10:33 AM Roberto Saia
Ċ
View Download
  455k v. 2 May 29, 2015, 11:58 PM Massimo Bartoletti
Ċ
View Download
  317k v. 2 Aug 23, 2012, 8:13 AM Massimo Bartoletti
Ċ
View Download
  162k v. 2 Apr 3, 2015, 1:30 AM Massimo Bartoletti
Ċ
View Download
  960k v. 2 Sep 6, 2012, 3:16 AM Fabrizio Mulas
Ċ
View Download
  388k v. 2 Sep 6, 2012, 3:43 AM Fabrizio Mulas
Ċ
View Download
Massimo Bartoletti and Roberto Zunino. Static enforcement of service deadlines. In SEFM, 2010.  276k v. 1 Feb 14, 2011, 12:45 PM Massimo Bartoletti
Ċ
View Download
  767k v. 3 Apr 2, 2015, 2:08 PM Massimo Bartoletti
Ċ
View Download
  708k v. 3 Jan 11, 2017, 7:55 AM Massimo Bartoletti
Ċ
View Download
  536k v. 1 Oct 31, 2013, 4:51 AM Paolo Pilloni
Ċ
View Download
  707k v. 2 Dec 5, 2014, 12:20 PM Massimo Bartoletti
Ċ
View Download
  349k v. 1 Apr 24, 2014, 9:20 AM Ludovico Boratto
Comments