FSEN
2007
Springer
14 years 6 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
ICFEM
2003
Springer
14 years 7 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
FSEN
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...