A Consistent Causality-Based View on a Timed Process Algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

54 Downloads (Pure)

Original language	English
Title of host publication	Third AMAST Workshop on Real-Time Systems
Subtitle of host publication	Proceedings: March 6-8, 1996, Salt Lake City, Utah
Place of Publication	Salt Lake City, Utah
Chapter	1
Pages	3-21
Number of pages	19
Publication status	Published - 18 Nov 1996
Event	3rd AMAST Workshop on Real-Time Systems 1996 - Salt Lake City, United States Duration: 6 Mar 1996 → 8 Mar 1996 Conference number: 3

Conference	3rd AMAST Workshop on Real-Time Systems 1996
Country/Territory	United States
City	Salt Lake City
Period	6/03/96 → 8/03/96

Access to Document

@inproceedings{ea546032a5d841c0b929b4283a78718e,

title = "A Consistent Causality-Based View on a Timed Process Algebra",

author = "Joost-Pieter Katoen and Diego Latella and Rom Langerak and Ed Brinksma and Tommaso Bolognesi",

year = "1996",

month = nov,

day = "18",

language = "English",

pages = "3--21",

booktitle = "Third AMAST Workshop on Real-Time Systems",

note = "3rd AMAST Workshop on Real-Time Systems 1996 ; Conference date: 06-03-1996 Through 08-03-1996",

}

A Consistent Causality-Based View on a Timed Process Algebra. / Katoen, Joost-Pieter; Latella, Diego; Langerak, Rom et al.
Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, 1996. p. 3-21.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Consistent Causality-Based View on a Timed Process Algebra

AU - Katoen, Joost-Pieter

AU - Latella, Diego

AU - Langerak, Rom

AU - Brinksma, Ed

AU - Bolognesi, Tommaso

N1 - Conference code: 3

PY - 1996/11/18

Y1 - 1996/11/18

M3 - Conference contribution

SP - 3

EP - 21

BT - Third AMAST Workshop on Real-Time Systems

CY - Salt Lake City, Utah

T2 - 3rd AMAST Workshop on Real-Time Systems 1996

Y2 - 6 March 1996 through 8 March 1996

ER -