Refinement for Transition Systems with Responses

Marco Carbone; Thomas Hildebrandt; Gian David Perrone; Andrzej Wasowski

doi:10.4204/EPTCS.87.5

Refinement for Transition Systems with Responses

Marco Carbone
, Thomas Hildebrandt
, Gian David Perrone
, Andrzej Wasowski

Programming Logic and Semantics

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings Fourth Workshop on Foundations of Interface Technologies : Electronic Proceedings in Theoretical Computer Science. EPTCS.
Volume	87
Publication date	2012
DOIs	https://doi.org/10.4204/EPTCS.87.5
Publication status	Published - 2012

Access to Document

10.4204/EPTCS.87.5

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

Cite this

@inproceedings{29aa3648dc154e7393bd7395569e6be9,

title = "Refinement for Transition Systems with Responses",

author = "Marco Carbone and Thomas Hildebrandt and Perrone, \{Gian David\} and Andrzej Wasowski",

note = "Verificeret i DBLP http://www.informatik.uni-trier.de/\textasciitilde{}ley/db/series/eptcs/index.html",

year = "2012",

doi = "10.4204/EPTCS.87.5",

language = "English",

volume = "87",

booktitle = "Proceedings Fourth Workshop on Foundations of Interface Technologies",

}

Refinement for Transition Systems with Responses. / Carbone, Marco; Hildebrandt, Thomas; Perrone, Gian David et al.
Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87 2012.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Refinement for Transition Systems with Responses

AU - Carbone, Marco

AU - Hildebrandt, Thomas

AU - Perrone, Gian David

AU - Wasowski, Andrzej

N1 - Verificeret i DBLP http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html

PY - 2012

Y1 - 2012

U2 - 10.4204/EPTCS.87.5

DO - 10.4204/EPTCS.87.5

M3 - Article in proceedings

VL - 87

BT - Proceedings Fourth Workshop on Foundations of Interface Technologies

ER -

Refinement for Transition Systems with Responses

Access to Document

Projects

MT-Lab - Modelling of Information Technology

Cite this