Recently added Papers

 

Service Discovery and Negotiation With COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Electr. Notes Theor. Comput. Sci.. pages 133-154. volume 200. number 3. 2008.
Bibtex   

 

A Model Checking Approach for Verifying COWS Specifications
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
FASE. José Luiz Fiadeiro, Paola Inverardi (Eds.). pages 230-245. volume 4961. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
COORDINATION. Doug Lea, Gianluigi Zavattaro (Eds.). pages 199-215. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

Specifying and Analysing SOC Applications with COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.). pages 701-720. volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

 

Locality Based Linda: programming with explicit localities
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of Theory and Practice of Software Development (TAPSOFT'97). M. Bidoit, M. Dauchet (Eds.). pages 712-726. number 1214. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

 

 

Nondeterministic regular expressions as solutions of equational systems
Rocco De Nicola, Anna Labella
Theor. Comput. Sci.. pages 179-189. volume 302. number 1-3. 2003.
Bibtex   

 

Klaim: a Kernel Language for Agents Interaction and Mobility
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
IEEE Transactions on Software Engineering. pages 315-330. volume 24. number 5. Publisher: IEEE Computer Society. 1998.
Abstract   Bibtex   pdf   

 

Structured Nets in Klaim
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications. pages 174-180. volume 1. Publisher: ACM Press. 2000.
Abstract   Bibtex   gz   gz   

 

 

Translating Strong Mobility into Weak Mobility
Lorenzo Bettini, Rocco De Nicola
Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA). G. Picco (Eds.). pages 182-197. number 2240. Publisher: Springer. Series: LNCS. 2001.
Abstract   Bibtex   gz   

 

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pages 373-377. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   gz   

 

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
SIAM J. Comput.. pages 947-986. volume 31. number 3. 2001.
Bibtex   

 

 

 

Towards Object-Oriented Klaim
Lorenzo Bettini, Viviana Bono, Betti Venneri
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). volume 62. Publisher: Elsevier. Series: ENTCS. 2001.
Abstract   Bibtex   gz   

 

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 72-87. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

 

 

<< previous | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 next >>