cfaed Publications
Modeling Role-Based Systems with Exogenous Coordination
Reference
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz, "Modeling Role-Based Systems with Exogenous Coordination", In Proceeding: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Springer, vol. 9660, pp. 122–139, 2016.
Bibtex
@inproceedings{CDBKK16,
author = {Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Kl{\"u}ppelholz},
title = {Modeling Role-Based Systems with Exogenous Coordination},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
pages = {122--139},
ee = {http://dx.doi.org/10.1007/978-3-319-30734-3_10},
series = {Lecture Notes in Computer Science},
volume = {9660},
publisher = {Springer},
year = {2016},
}
author = {Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Kl{\"u}ppelholz},
title = {Modeling Role-Based Systems with Exogenous Coordination},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
pages = {122--139},
ee = {http://dx.doi.org/10.1007/978-3-319-30734-3_10},
series = {Lecture Notes in Computer Science},
volume = {9660},
publisher = {Springer},
year = {2016},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1243