Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Modal Logic and Process Algebra Alban Ponse

Modal Logic and Process Algebra

A Bisimulation Perspective

Szerző: Alban Ponse, Maarten De Rijke, Yde Venema
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Centre for the Study of Language & Information
Elérhetőség: Utánnyomás
Megjelenés ismeretlen
24 997 Ft
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo...

Információk a könyvről

Szerző
Alban Ponse, Maarten De Rijke, Yde Venema
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1995
oldal
352
EAN
9781881526957
ISBN
188152695X
Enbook ID
05012594
Kiadó
Centre for the Study of Language & Information
Súly
648
Méretek
152 x 228 x 24

Teljes leírás

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.

Érdekelheti

Dead Silence

Kimberly Derting
4 357 Ft

How to Talk to Data Scientists

Jeremy
7 932 Ft

Feather on the Breath of God

Sigrid Nunez
4 357 Ft

Keeping a Nature Journal, 3rd Edition: Deepen Your Connection with the Natural World All Around You

Clare Walker Leslie
7 380 Ft

Open Door

Daniel S. Hamilton
10 654 Ft

Integrity is Everything

John Lavenia
7 209 Ft

Elementary Theorems Relating To Determinants (1851)

William Spottiswoode
12 065 Ft

Greenwood

Donny Whitehead
7 447 Ft

Mathematical Methods of Quantum Physics: 2nd Jagna International Workshop

C. C. Bernido
86 732 Ft

Restoration in Russia

Boris Kagarlitsky
5 812 Ft

Shakespeare and the Poets' War

James Bednarz
15 128 Ft

Engaging the Public with Climate Change

Lorraine Whitmarsh
77 160 Ft

Man for Himself

Erich Fromm
8 943 Ft

Patience of the Spider

Andrea Camilleri
5 799 Ft

Journal Of Stephen Watts Kearny - Part I

Stephen Watts Kearny
5 471 Ft

Lanthanide-Doped Luminescent Nanomaterials

Xueyuan Chen
38 571 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Mes Amusemens Dans La Prison de Sainte-Pelagie

Saint-Desire
6 836 Ft

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht

Claus Ott
48 942 Ft

Historia de Yucatán

Diego López de Cogolludo
14 958 Ft

Sagenerzahlerin und der Bronzeschmied

Sina Blackwood
2 920 Ft

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

SCHMITT OLIVIER
8 930 Ft

Dnes v noci zemřeš

Viveca Sten
2 322 Ft