Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
Possibilistic information flow control in MAKS and action refinement
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
| Hi-index | 0.00 |
This paper is a thourough survey on the state of the art of action refinement in process algebras, with a historical perspective. (To appear as Chapter XVI of the Handbook of Process Algebra, Elsevier Science, 1999.)