A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

Research output: Book/Report › Report › Professional

Original language	English
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	16
Publication status	Published - 1996

Name	CTIT Technical Report Series
Publisher	CTIT, University of Twente
No.	96-03

Cite this

@book{b7c72c7f6829411ea5463a22385c0e66,

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

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

year = "1996",

language = "English",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "96-03",

address = "Netherlands",

}

TY - BOOK

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

AU - Katoen, Joost-Pieter

AU - Langerak, Rom

AU - Brinksma, Ed

AU - Latella, Diego

AU - Bolognesi, Tom

PY - 1996

Y1 - 1996

M3 - Report

T3 - CTIT Technical Report Series

BT - A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -