Work In Progress!

 

Publications about Case Studies Developed by ReSpecT

Below, a sorted-by-year list of the publications by members of aliCE that adopted ReSpecT as a language for developing applications and case studies.

2007

Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science 180(2), June 2007

2006

Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages, Lecture Notes in Computer Science 4038, June 2006

2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages, Lecture Notes in Computer Science 3454, April 2005
Tags:
    
2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.7