Introduction to Process Algebra (Texts in Theoreti…

COMPUTERS / General



Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed…

price: $71.61 Buy Now

Download Now Read Online

Introduction To Process Algebra


Download Now Read Online

Author by : Wan Fokkink
Languange Used : en
Release Date : 2013-03-09
Publisher by : Springer Science & Business Media

Automated and semi-automated manipulation of so-called labelled transition systems has become an important mea

Theoretical Aspects Of Computing Ictac 2009


Download Now Read Online

Author by : Martin Leucker
Languange Used : en
Release Date : 2009-08-03
Publisher by : Springer

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Compu

Process Algebra Equational Theories Of Communicating Processes


Download Now Read Online

Author by : J. C. M. Baeten
Languange Used : en
Release Date : 2010-01
Publisher by : Cambridge University Press

Presents a unified overview of the various process algebras currently in use and sets the standard for the fie

Processes Terms And Cycles Steps On The Road To Infinity


Download Now Read Online

Author by : Aart Middeldorp
Languange Used : en
Release Date : 2005-12-13
Publisher by : Springer Science & Business Media

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a

Applications Of Process Algebra


Download Now Read Online

Author by : J. C. M. Baeten
Languange Used : en
Release Date : 1990
Publisher by : Cambridge University Press

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), th

Process Algebra With Timing


Download Now Read Online

Author by : J.C.M. Baeten
Languange Used : en
Release Date : 2013-03-09
Publisher by : Springer Science & Business Media

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing

Current Trends In Theoretical Computer Science


Download Now Read Online

Author by : Gheorghe P?un
Languange Used : en
Release Date : 2004
Publisher by : World Scientific

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoreti

Current Trends In Theoretical Computer Science


Download Now Read Online

Author by :
Languange Used : en
Release Date :
Publisher by :

Modelling Distributed Systems


Download Now Read Online

Author by : Wan Fokkink
Languange Used : en
Release Date : 2007-09-05
Publisher by : Springer Science & Business Media

This textbook guides students through algebraic specification and verification of distributed systems, and som

Scientific Annals Of Computer Science


Download Now Read Online

Author by :
Languange Used : en
Release Date : 2008
Publisher by :

Leave a Reply