About this title: This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11-13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organized by the Humboldt-Universitaet Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design methodologies ...
read more
Note: This is a general synopsis. Each listing is described below.
Your search:Books»Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11-13 May 1995(4 available copies)
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
