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 ...
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 ...
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 ...
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 ...
People also ask
What is the process algebra CSP?
Structured CSP – A Process Algebra as an Institution. Publication Type: Book. Authors: Till Mossakowski; Markus Roggenbach. Source: Recent Trends in Algebraic ...
Structured CSP – A Process Algebra as an Institution. Publication Type: Book. Authors: Till Mossakowski; Markus Roggenbach. Source: Recent Trends in Algebraic ...
@inproceedings{MossakowskiRoggenbach07, abstract = { We introduce two institutions for the process algebra CSP ... structured specification constructs like ...
Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer ...
2013. Structured CSP–a process algebra as an institution. T Mossakowski, M Roggenbach. International Workshop on Algebraic Development Techniques, 92-110, 2006.
In ACP a process algebra is any mathematical structure, consisting of a set of objects and a set of operators, like, e.g., sequential, nondeterministic or ...