process algebra acp | Sciweavers

146

FSEN
2009
Springer

149views Software Engineering» more FSEN 2009»

Automated Translation and Analysis of a ToolBus Script for Auctions

15 years 10 months ago

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. ...

claim paper

Read More »

119

click to vote

CAI
2009
Springer

132views Information Technology» more CAI 2009»

Process Algebra: An Algebraic Theory of Concurrency

15 years 10 months ago

Download www.cs.vu.nl

This tutorial provides an overview of the process algebra ACP.

Wan Fokkink

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers