Publikation
Till Mossakowski; Markus Roggenbach
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, Belgium, Pages 92-110, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer-Verlag, Heidelberg, 2007.
@inproceedings{pub3908, author = { Mossakowski, Till and Roggenbach, Markus }, editor = { Fiadeiro, J. }, title = {Structured CSP -- A Process Algebra as an Institution}, booktitle = {WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, Belgium}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2007}, volume = {4409}, pages = {92--110}, publisher = {Springer-Verlag} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023