Logo eprints

Checking for choreography conformance using spatial logic model-checking

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)

This is the latest version of this item.

[img]
Preview
PDF (Pre-print version)
Download (83kB) | Preview

Abstract

We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties

Item Type: Working Paper (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 26 Jun 2015 12:52
Last Modified: 26 Jun 2015 12:52
URI: http://eprints.imtlucca.it/id/eprint/2723

Available Versions of this Item

  • Checking for choreography conformance using spatial logic model-checking. (deposited 26 Jun 2015 12:52) [Currently Displayed]

Actions (login required)

Edit Item Edit Item