Modal Logic and Process Algebra

Modal Logic and Process Algebra
Author :
Publisher : Stanford Univ Center for the Study
Total Pages : 327
Release :
ISBN-10 : 1881526968
ISBN-13 : 9781881526964
Rating : 4/5 (964 Downloads)

Book Synopsis Modal Logic and Process Algebra by : Alban Ponse

Download or read book Modal Logic and Process Algebra written by Alban Ponse and published by Stanford Univ Center for the Study. This book was released on 1995-01 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: A collection of papers by leading researchers in modal logic and theoretical computer science.


Modal Logic and Process Algebra Related Books

Modal Logic and Process Algebra
Language: en
Pages: 327
Authors: Alban Ponse
Categories: Mathematics
Type: BOOK - Published: 1995-01 - Publisher: Stanford Univ Center for the Study

DOWNLOAD EBOOK

A collection of papers by leading researchers in modal logic and theoretical computer science.
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Modal Logic
Language: en
Pages: 574
Authors: Patrick Blackburn
Categories: Computers
Type: BOOK - Published: 2002-08-22 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from
A Process Algebraic Approach to Software Architecture Design
Language: en
Pages: 316
Authors: Alessandro Aldini
Categories: Computers
Type: BOOK - Published: 2010-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been o
Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 767
Authors: A. Kurucz
Categories: Computers
Type: BOOK - Published: 2003-10-21 - Publisher: Elsevier

DOWNLOAD EBOOK

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema