Rosario Pugliese

126 papers A* 4A 1B 5C 17Misc 5Journal 33Unranked 54
YearRankTypeTitle / Venue / Authors
2025 — conf
On Policies for Bartering Access to Resources.
ITASEC/SERICS
Lorenzo Bettini, Rosario Pugliese, Francesco Tiezzi
2024 — conf
Klaim in the Making.
ISoLA (1)
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto
2023 J jnl
Coordinating and programming multiple ROS-based robots with X-KLAIM.
Int. J. Softw. Tools Technol. Transf.
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2023 C conf
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.
DLT
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi
2022 — conf
Programming Multi-robot Systems with X-KLAIM.
ISoLA (3)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2020 J jnl
A formal approach to the engineering of domain-specific distributed systems.
J. Log. Algebraic Methods Program.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2020 J jnl
Replacement freeness: A criterion for separating process calculi.
J. Log. Algebraic Methods Program.
Rosario Pugliese, Francesco Tiezzi
2020 J jnl
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
Log. Methods Comput. Sci.
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2020 — conf
Writing Robotics Applications with X-Klaim.
ISoLA (2)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2019 J jnl
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
CoRR
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng.
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2019 — conf
Automata-Based Behavioural Contracts with Action Correlation.
From Software Engineering to Formal Methods and Tools, and Back
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
2019 C conf
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
COORDINATION
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2019 — ed.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
2019 J jnl
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
CoRR
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2018 C conf
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2017 J jnl
Blind-date conversation joining.
Serv. Oriented Comput. Appl.
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2016 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
CoRR
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2016 J jnl
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wirel. Commun.
Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese
2016 — conf
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.
ISoLA (1)
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
2015 — ch.
Correctness of Service Components and Service Component Ensembles.
The ASCENS Approach
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015 — conf
On Properties of Policy-Based Specifications.
WWV
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2015 — conf
Programming Autonomic Systems with Multiple Constraint Stores.
Software, Services, and Systems
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
2015 — ch.
The Autonomic Cloud.
The ASCENS Approach
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2014 J jnl
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
ACM Trans. Auton. Adapt. Syst.
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 C ed.
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
COORDINATION
Eva Kühn, Rosario Pugliese
2014 — conf
On Programming and Policing Autonomic Computing Systems.
ISoLA (1)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2014 — conf
Programming and Verifying Component Ensembles.
FPS@ETAPS
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014 — conf
Self-expression and Dynamic Attribute-Based Ensembles in SCEL.
ISoLA (1)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli
2013 — conf
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
SASO Workshops
Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
2013 — conf
Blind-date Conversation Joining.
WWV
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
WS-FM
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Formalising Adaptation Patterns for Autonomic Ensembles.
FACS
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
2013 — conf
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.
UIC/ATC
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2013 — conf
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
HEALTHINF
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2013 J jnl
Special issue on Automated Specification and Verification of Web Systems.
J. Log. Algebraic Methods Program.
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
2013 — conf
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
SASO Workshops
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
2012 J jnl
A calculus for orchestration of web services.
J. Appl. Log.
Rosario Pugliese, Francesco Tiezzi
2012 J jnl
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol.
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2012 — conf
Formalisation and Implementation of the XACML Access Control Mechanism.
ESSoS
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 Misc conf
Modeling adaptation with a tuple-based coordination language.
SAC
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2012 J jnl
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.
J. Medical Syst.
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 C conf
Towards a Formal Verification Methodology for Collective Robotic Systems.
ICFEM
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
2012 — conf
Towards model-driven development of access control policies for web applications.
MDsec@MoDELS
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 J jnl
Using formal methods to develop WS-BPEL applications.
Sci. Comput. Program.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 — conf
A Language-Based Approach to Autonomic Computing.
FMCO
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese
2011 J jnl
A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods Syst. Des.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 J jnl
An accessible verification environment for UML models of services.
J. Symb. Comput.
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2011 — ch.
Core Calculi for Service-Oriented Computing.
Results of the SENSORIA Project
Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2011 — ed.
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011.
WWV
Laura Kovács, Rosario Pugliese, Francesco Tiezzi
2011 — ch.
The Sensoria Approach Applied to the Finance Case Study.
Results of the SENSORIA Project
Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi
2011 — conf
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.
AFRICOMM
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2010 — conf
A criterion for separating process calculi
EXPRESS
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2010 Misc conf
A tool for rapid development of WS-BPEL applications.
SAC
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2010 J jnl
From Flow Logic to static type systems for coordination languages.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2009 J jnl
Dynamic management of capabilities in a network aware coordination language.
J. Log. Algebraic Methods Program.
Daniele Gorla, Rosario Pugliese
2009 — conf
From Architectural to Behavioural Specification of Services.
FESCA@ETAPS
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
On Observing Dynamic Prioritised Actions in SOC.
ICALP (2)
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2009 Misc conf
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.
ICISS
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2008 C conf
A Formal Account of WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 B conf
A Model Checking Approach for Verifying COWS Specifications.
FASE
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2008 — conf
A Symbolic Semantics for a Calculus for Service-Oriented Computing.
PLACES@DisCoTec
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2008 C conf
From Flow Logic to Static Type Systems for Coordination Languages.
COORDINATION
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
2008 — conf
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
WWV
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 — conf
Specifying and Analysing SOC Applications with COWS.
Concurrency, Graphs and Models
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 A conf
A Calculus for Orchestration of Web Services.
ESOP
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 J jnl
Basic observables for a calculus for global computing.
Inf. Comput.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 C conf
C-clock-WS: A Timed Service-Oriented Calculus.
ICTAC
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 J jnl
Global computing in a dynamic network of tuple spaces.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 — conf
Regulating Data Exchange in Service Oriented Applications.
FSEN
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 — conf
Service Discovery and Negotiation With COWS.
WWV
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006 C conf
A WSDL-Based Type System for WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006 B conf
Assessing CS1 java skills: a three-year experience.
ITiCSE
Pilu Crescenzi, Michele Loreti, Rosario Pugliese
2006 J jnl
Confining data and processes in global computing applications.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2006 J jnl
On the expressive power of KLAIM-based calculi.
Theor. Comput. Sci.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 — conf
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2005 C conf
A Process Calculus for QoS-Aware Applications.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2005 A* conf
Basic Observables for a Calculus for Global Computing.
ICALP
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 C conf
Global Computing in a Dynamic Network of Tuple Spaces.
COORDINATION
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 — conf
Pattern Matching over a Dynamic Network of Tuple Spaces.
FMOODS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2004 Misc conf
Controlling data movement in global computing applications.
SAC
Daniele Gorla, Rosario Pugliese
2004 — conf
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2004 J jnl
MetaKlaim: a type safe multi-stage language for global computing.
Math. Struct. Comput. Sci.
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2004 — conf
On the Expressive Power of Klaim-based Calculi.
EXPRESS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2003 — conf
A Formal Basis for Reasoning on Programmable QoS.
Verification: Theory and Practice
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2003 — conf
Enforcing Security Policies via Types.
SPC
Daniele Gorla, Rosario Pugliese
2003 A* conf
Resource Access and Mobility Control with Dynamic Privileges Acquisition.
ICALP
Daniele Gorla, Rosario Pugliese
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002 Misc conf
An infrastructure language for open nets.
SAC
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
2002 — conf
Guardians for Ambient-based Monitoring.
F-WAN@ICALP
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2002 J jnl
Klava: a Java package for distributed and mobile applications.
Softw. Pract. Exp.
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
2002 J jnl
Trace and Testing Equivalence on Asynchronous Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 J jnl
Divergence in testing and readiness semantics.
Theor. Comput. Sci.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 — conf
Global Types and Network Services.
ConCoord
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001 — conf
Higher-Order Types and Meta-Programming for Global Computing.
TOSCA
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001 — conf
MetaKlaim: Meta-programming for Global Computing.
SAIG
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001 — conf
Modelling Node Connectivity in Dynamically Evolving Networks.
ConCoord
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
2001 J jnl
Proof Techniques for Cryptographic Processes.
SIAM J. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 — conf
XKlaim and Klava: Programming Mobile Code.
TOSCA
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
2000 — conf
Calculi for Network Aware Programming.
WOA
Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
2000 J jnl
Linda-based applicative and imperative process algebras.
Theor. Comput. Sci.
Rocco De Nicola, Rosario Pugliese
2000 — conf
Mobile Applications in X-KLAIM.
WOA
Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000 C conf
Process Algebraic Analysis of Cryptographic Protocols.
FORTE
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2000 B conf
Programming Access Control: The KLAIM Experience.
CONCUR
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000 C conf
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.
COORDINATION
Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron
2000 — conf
Structured Nets in KLAIM.
SAC (1)
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
2000 J jnl
Types for access control.
Theor. Comput. Sci.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri
1999 B conf
A Theory of "May" Testing for Asynchronous Languages.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 J jnl
Basic Observables for Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 A* conf
Proof Techniques for Cryptographic Processes.
LICS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 — conf
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.
EXPRESS
Anna Ingólfsdóttir, Rosario Pugliese
1999 — conf
Types as Specifications of Access Policies.
Secure Internet Programming
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1998 — conf
A Symbolic Model Checker for ACTL.
FM-Trends
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
1998 B conf
Asynchronous Observations of Processes.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1998 C conf
Interactive Mobile Agents in X-Klaim.
WETICE
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari
1998 J jnl
KLAIM: A Kernel Language for Agents Interaction and Mobility.
IEEE Trans. Software Eng.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997 A* conf
Basic Observables for Processes.
ICALP
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1997 C conf
Coordinating Mobile Agents via Blackboards and Access Rights.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997 — conf
Locality Based Linda: Programming with Explicit Localities.
TAPSOFT
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1996 C conf
A Process Algebra Based on LINDA.
COORDINATION
Rocco De Nicola, Rosario Pugliese
1996 — conf
Automatic Verification of a Hydroelectric Power Plant.
FME
Rosario Pugliese, Enrico Tronci
1996 — conf
Testing Semantics of Asynchronous Distributed Programs.
LOMAPS
Rocco De Nicola, Rosario Pugliese
1995 — conf
An Observational Semantics for Linda.
STRICT
Rocco De Nicola, Rosario Pugliese