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

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

60 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Journal of Logical and Algebraic Methods in Programming
Vol/bind	82
Udgave nummer	5-7
Sider (fra-til)	164-185
Antal sider	22
ISSN	2352-2208
DOI	https://doi.org/10.1016/j.jlap.2013.05.005
Status	Udgivet - 2013
Udgivet eksternt	Ja
Begivenhed	5th Workshop on Formal Languages and Analysis of Contract-Oriented Software - Malaga, Spanien Varighed: 22 sep. 2011 → 23 sep. 2011 Konferencens nummer: 5

Konference	5th Workshop on Formal Languages and Analysis of Contract-Oriented Software
Nummer	5
Land/Område	Spanien
By	Malaga
Periode	22/09/2011 → 23/09/2011

Adgang til dokumentet

@inproceedings{97f19e36c1e14651bbb1ee307caffcc9,

title = "Contracts for cross-organizational workflows as timed dynamic condition response graphs",

author = "Thomas Hildebrandt and Mukkamala, {Raghava Rao} and Tijs Slaats and Francesco Zanitti",

year = "2013",

doi = "10.1016/j.jlap.2013.05.005",

language = "English",

volume = "82",

pages = "164--185",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

number = "5-7",

note = "5th Workshop on Formal Languages and Analysis of Contract-Oriented Software ; Conference date: 22-09-2011 Through 23-09-2011",

}

TY - GEN

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

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

AU - Zanitti, Francesco

N1 - Conference code: 5

PY - 2013

Y1 - 2013

U2 - 10.1016/j.jlap.2013.05.005

DO - 10.1016/j.jlap.2013.05.005

M3 - Conference article

SN - 2352-2208

VL - 82

SP - 164

EP - 185

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 5-7

T2 - 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software

Y2 - 22 September 2011 through 23 September 2011

ER -