Sciweavers

FSEN
2009
Springer
14 years 6 months ago
Automated Translation and Analysis of a ToolBus Script for Auctions
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 ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
CAI
2009
Springer
14 years 6 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink