books of the month
Search our site
Are You Sleeping by Kathleen Barber Read the opening extract of the brand new Kathleen Barber book before its publication on 27/12/2017

Modal Logic and Process Algebra A Bisimulation Perspective by Alban (Universiteit van Amsterdam) Ponse
  

Synopsis

Modal Logic and Process Algebra A Bisimulation Perspective by Alban (Universiteit van Amsterdam) Ponse

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

About the Author

Loading other formats...

Book Info

Publication date

1st June 1995

Author

Alban (Universiteit van Amsterdam) Ponse

More books by Alban (Universiteit van Amsterdam) Ponse
Author 'Like for Like'
    recommendations

Publisher

Cambridge University Press

Format

Hardback
352 pages

Categories

Mathematical theory of computation

ISBN

9781881526957

I love reading because my cares & woes vanish for an hour or two whilst I read of the joys, adventures, lives of the characters in the book.

Jennifer Moville

Lovereading always comes up with great suggestions and has introduced me to enjoyable books and new authors to discover.

Gaynor Passmore

Lovereading is like booking a holiday, you don't know what it will be like and it is a whole new experience.

Sue Burton

The best new books on the market, reviewed honestly, to give your readers the best choices.

Julie Cook

Lovereading is not only an amazing site, but it's one of my very favourites. It's like visiting a fascinating bookstore, but better.

Rebecca Jayne Barrett

It gives a chance to read about new titles, invites comments from all kinds of readers and is run by such a nice bunch of book lovers.

Joy Bosworth

I love Lovereading for the wonderful like for like author recommendations and for highlighting new books, it's a great resource for readers!

Lindsay

If you love reading, then you'll love Lovereading! Full of tips & info for every discerning reader.

Lynne Rapson

Lovereading4kids

Lovereading4schools