Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Till Mossakowski, Markus Roggenbach
Editor: J. Fiadeiro
Title: Structured CSP -- A Process Algebra as an Institution
Book / Collection title: WADT 2006
Volume: 4409
Page(s): 92 – 110
Series: Lecture Notes in Computer Science
Year published: 2007
Publisher: Springer-Verlag Heidelberg
Abstract: We introduce two institutions for the process algebra CSP, one for the traces model, and one for the stable failures model. The construction is generic and should be easily instantiated with further models. As a consequence, we can use structured specification constructs like renaming, hiding and parameterisation (that have been introduced over an arbitrary institution) also for CSP. With a small example we demonstrate that structuring indeed makes sense for CSP.
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/csp.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/csp.ps
Keywords: CSP structuring institution
Status: Reviewed
Last updated: 13. 02. 2007

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum