Contracts for cross-organizational workflows as timed dynamic condition response graphs

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
JournalJournal of Logical and Algebraic Methods in Programming
Volume82
Issue number5-7
Pages (from-to)164-185
Number of pages22
ISSN2352-2208
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event5th Workshop on Formal Languages and Analysis of Contract-Oriented Software - Malaga, Spain
Duration: 22 Sep 201123 Sep 2011
Conference number: 5

Conference

Conference5th Workshop on Formal Languages and Analysis of Contract-Oriented Software
Number5
CountrySpain
CityMalaga
Period22/09/201123/09/2011

ID: 168630216