Modal Logic and Process Algebra

Name: Modal Logic and Process Algebra
Brand: Centre for the Study of Language & Information
SKU: 9781881526964
Price: 11957 HUF
Availability: PreOrder

A Bisimulation Perspective

Szerző: Alban Ponse, Maarten De Rijke, Yde Venema

Nyelv:

Kötés: Puha kötésű

Kiadó: Centre for the Study of Language & Information

Elérhetőség: Utánnyomás

Megjelenés ismeretlen

11 957 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 - Puha kötésű

Kiadva

1996

oldal

352

EAN

9781881526964

ISBN

1881526968

Enbook ID

05012595

Kiadó

Centre for the Study of Language & Information

Súly

482

Méretek

152 x 228 x 20

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

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Modal Logic and Process Algebra

A Bisimulation Perspective

Információk a könyvről

Teljes leírás

Érdekelheti

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