On specifying real-time systems in a causality-based setting

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
Original languageUndefined
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems
EditorsB. Jonsson, J. Parrow
Place of PublicationBerlin
PublisherSpringer
Pages385-405
Number of pages21
ISBN (Print)3-540-61648-9
Publication statusPublished - 1996

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
Volume1135

Keywords

  • FMT-PA: PROCESS ALGEBRAS
  • EWI-6486
  • FMT-NIM: NON-INTERLEAVING MODELS

Cite this

Katoen, J. P., Latella, D., Langerak, R., & Brinksma, H. (1996). On specifying real-time systems in a causality-based setting. In B. Jonsson, & J. Parrow (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 385-405). (Lecture Notes in Computer Science; Vol. 1135). Berlin: Springer.
Katoen, Joost P. ; Latella, D. ; Langerak, Romanus ; Brinksma, Hendrik. / On specifying real-time systems in a causality-based setting. Formal Techniques in Real-Time and Fault-Tolerant Systems. editor / B. Jonsson ; J. Parrow. Berlin : Springer, 1996. pp. 385-405 (Lecture Notes in Computer Science).
@inproceedings{1aea86110ca54712ab9821064011f783,
title = "On specifying real-time systems in a causality-based setting",
keywords = "FMT-PA: PROCESS ALGEBRAS, EWI-6486, FMT-NIM: NON-INTERLEAVING MODELS",
author = "Katoen, {Joost P.} and D. Latella and Romanus Langerak and Hendrik Brinksma",
year = "1996",
language = "Undefined",
isbn = "3-540-61648-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "385--405",
editor = "B. Jonsson and J. Parrow",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems",

}

Katoen, JP, Latella, D, Langerak, R & Brinksma, H 1996, On specifying real-time systems in a causality-based setting. in B Jonsson & J Parrow (eds), Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol. 1135, Springer, Berlin, pp. 385-405.

On specifying real-time systems in a causality-based setting. / Katoen, Joost P.; Latella, D.; Langerak, Romanus; Brinksma, Hendrik.

Formal Techniques in Real-Time and Fault-Tolerant Systems. ed. / B. Jonsson; J. Parrow. Berlin : Springer, 1996. p. 385-405 (Lecture Notes in Computer Science; Vol. 1135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - On specifying real-time systems in a causality-based setting

AU - Katoen, Joost P.

AU - Latella, D.

AU - Langerak, Romanus

AU - Brinksma, Hendrik

PY - 1996

Y1 - 1996

KW - FMT-PA: PROCESS ALGEBRAS

KW - EWI-6486

KW - FMT-NIM: NON-INTERLEAVING MODELS

M3 - Conference contribution

SN - 3-540-61648-9

T3 - Lecture Notes in Computer Science

SP - 385

EP - 405

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems

A2 - Jonsson, B.

A2 - Parrow, J.

PB - Springer

CY - Berlin

ER -

Katoen JP, Latella D, Langerak R, Brinksma H. On specifying real-time systems in a causality-based setting. In Jonsson B, Parrow J, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems. Berlin: Springer. 1996. p. 385-405. (Lecture Notes in Computer Science).