Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modal Logic and Process Algebra

Name: Modal Logic and Process Algebra
Brand: Centre for the Study of Language & Information
SKU: 05012594
Price: 25570 HUF
Availability: PreOrder
Author: Alban Ponse
ISBN: 9781881526957

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Language

English

Book Hardback

Libristo code: 05012594

Publishers Centre for the Study of Language & Information, June 1995

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Full description

Libristo code: 05012594

175 b

Coming soon

25 570 Ft

Reprint

Date unknown

Up to 30 days for returns

Customers also purchased

Mes Amusemens Dans La Prison de Sainte-Pelagie Saint-Desire

Paperback

7 005 Ft

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

Paperback

50 161 Ft

Historia de Yucatán Diego López de Cogolludo

Hardback

15 326 Ft

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

Paperback

2 992 Ft

INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Book

Paperback

9 182 Ft

Dnes v noci zemřeš Viveca Sten

Hardback

2 379 Ft

Kritické myslenie pre stredné školy PZ Jakub Kobela

Paperback

5 445 Ft

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.