eprintid: 2723
rev_number: 5
eprint_status: archive
userid: 59
dir: disk0/00/00/27/23
datestamp: 2015-06-26 12:52:56
lastmod: 2015-06-26 12:52:56
status_changed: 2015-06-26 12:52:56
type: monograph
succeeds: 2292
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Tavares Sousa, David
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Checking for choreography conformance using spatial logic model-checking
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: technical_report
abstract: We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties
date: 2007-10
number: 03
publisher: Departamento de Informática - Universidade nova de Lisboa
pages: 6
institution: Departamento de Informática
official_url: http://citi.di.fct.unl.pt/publication/techreport.php?id=59
citation:   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)   
document_url: http://eprints.imtlucca.it/2723/1/choreography-SLMC-3.pdf