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

Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

OriginalsprogEngelsk
TidsskriftJournal of Logical and Algebraic Methods in Programming
Vol/bind82
Udgave nummer5-7
Sider (fra-til)164-185
Antal sider22
ISSN2352-2208
DOI
StatusUdgivet - 2013
Eksternt udgivetJa
Begivenhed5th Workshop on Formal Languages and Analysis of Contract-Oriented Software - Malaga, Spanien
Varighed: 22 sep. 201123 sep. 2011
Konferencens nummer: 5

Konference

Konference5th Workshop on Formal Languages and Analysis of Contract-Oriented Software
Nummer5
LandSpanien
ByMalaga
Periode22/09/201123/09/2011

ID: 168630216