223F34EE-5372-4782-BB5D-CBC8E5EC294BProcesses and DataResearch GrantEP/D037212/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL10767526B1B44F-603A-4BF5-8190-259920200FA0Recent Trends in Algebraic Development Techniquesce564761bc6a67514cec5e86b510540fMossakowski T2007-01-01http://dx.doi.org/10.1007/978-3-540-71998-4_6978-3-540-71997-7http://dx.doi.org/10.1007/978-3-540-71998-4_6Structured CSP - A Process Algebra as an Institution92-110Book Chapter5465cd0c753575.50938184