Modal Logic and Process Algebra

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

A Bisimulation Perspective

Autor: Alban Ponse, Maarten De Rijke, Yde Venema

Limbă:

Legare: Carte broșată

Editura: Centre for the Study of Language & Information

Disponibilitate: Retipărire preconizată

Termenul este necunoscut

176.35 lei

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

Informații despre carte

Autor

Alban Ponse, Maarten De Rijke, Yde Venema

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1996

Pagini

352

EAN

9781881526964

ISBN

1881526968

Enbook ID

05012595

Editura

Centre for the Study of Language & Information

Greutate

482

Dimensiuni

152 x 228 x 20

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Modal Logic and Process Algebra

A Bisimulation Perspective

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și