relation: http://eprints.imtlucca.it/2723/
title: Checking for choreography conformance using spatial logic model-checking
creator: Caires, Luis
creator: Tavares Sousa, David
creator: Torres Vieira, Hugo 
subject: QA75 Electronic computers. Computer science
description: We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties
publisher: Departamento de Informática - Universidade nova de Lisboa
date: 2007-10
type: Working Paper
type: NonPeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2723/1/choreography-SLMC-3.pdf
identifier:   Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo   Checking for choreography conformance using spatial logic model-checking.  Technical Report  #03/2007    Departamento de Informática - Universidade nova de Lisboa       (Unpublished)   
relation: http://citi.di.fct.unl.pt/publication/techreport.php?id=59