FSEN
2007
Springer
13 years 8 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
ICFEM
2003
Springer
13 years 10 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
13 years 11 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 ...