Compositional Contract Specification for REA

Fritz Henglein; Ken Friis Larsen; Jakob Grue Simonsen; Christian Oskar Erik Stefansen

Compositional Contract Specification for REA

Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Oskar Erik Stefansen

Abstract

Invited contribution

Original language	English
Title of host publication	NWPT '07/FLACOS' 07 : workshop proceedings, October 9-12, 2007.Oslo, Norway
Editors	Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
Publisher	Universitetet i Oslo
Publication date	2007
Pages	130-132
ISBN (Print)	8273683249
Publication status	Published - 2007
Event	Workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo, Norway Duration: 9 Oct 2007 → 10 Oct 2007 Conference number: 1

Conference

Conference	Workshop on Formal Languages and Analysis of Contract-Oriented Software
Number	1
Country/Territory	Norway
City	Oslo
Period	09/10/2007 → 10/10/2007

Series	Research report. Universitetet i Oslo. Institutt for informatikk
Number	366
ISSN	0806-3036

Cite this

Compositional Contract Specification for REA. / Henglein, Fritz ; Larsen, Ken Friis ; Simonsen, Jakob Grue et al.

NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. ed. / Einar Broch Johnsen; Olaf Owe; Gerardo Schneider. Universitetet i Oslo, 2007. p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Henglein, F , Larsen, KF , Simonsen, JG & Stefansen, COE 2007, Compositional Contract Specification for REA. in EB Johnsen, O Owe & G Schneider (eds), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo, Research report. Universitetet i Oslo. Institutt for informatikk, no. 366, pp. 130-132, Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oslo, Norway, 09/10/2007.

Henglein, Fritz ; Larsen, Ken Friis ; Simonsen, Jakob Grue et al. / Compositional Contract Specification for REA. NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. editor / Einar Broch Johnsen ; Olaf Owe ; Gerardo Schneider. Universitetet i Oslo, 2007. pp. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

@inproceedings{89c0494004a811ddbee902004c4f4f50,

title = "Compositional Contract Specification for REA",

abstract = "Invited contribution",

author = "Fritz Henglein and Larsen, {Ken Friis} and Simonsen, {Jakob Grue} and Stefansen, {Christian Oskar Erik}",

year = "2007",

language = "English",

isbn = "8273683249",

series = "Research report. Universitetet i Oslo. Institutt for informatikk",

publisher = "Universitetet i Oslo",

number = "366",

pages = "130--132",

editor = "Johnsen, {Einar Broch} and Olaf Owe and Gerardo Schneider",

booktitle = "NWPT '07/FLACOS' 07",

note = "Workshop on Formal Languages and Analysis of Contract-Oriented Software ; Conference date: 09-10-2007 Through 10-10-2007",

}

TY - GEN

T1 - Compositional Contract Specification for REA

AU - Henglein, Fritz

AU - Larsen, Ken Friis

AU - Simonsen, Jakob Grue

AU - Stefansen, Christian Oskar Erik

N1 - Conference code: 1

PY - 2007

Y1 - 2007

N2 - Invited contribution

AB - Invited contribution

M3 - Article in proceedings

SN - 8273683249

T3 - Research report. Universitetet i Oslo. Institutt for informatikk

SP - 130

EP - 132

BT - NWPT '07/FLACOS' 07

A2 - Johnsen, Einar Broch

A2 - Owe, Olaf

A2 - Schneider, Gerardo

PB - Universitetet i Oslo

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

Y2 - 9 October 2007 through 10 October 2007

ER -