Items where Author is "Ferrari, GianLuigi"

Article

Ferrari, GianLuigi and Lluch-Lafuente, Alberto A Logic for Graphs with QoS. Electronic Notes in Theoretical Computer Science, 142. pp. 143-160. ISSN 1571-0661 (2006)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

Book Section

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997)

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)