Modal Logic and Process Algebra

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

A Bisimulation Perspective

Autor: Alban Ponse, Maarten De Rijke, Yde Venema

Limbă:

Legare: Copertă tare

Editura: Centre for the Study of Language & Information

Disponibilitate: Retipărire preconizată

Termenul este necunoscut

369.21 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 - Copertă tare

Publicat

1995

Pagini

352

EAN

9781881526957

ISBN

188152695X

Enbook ID

05012594

Editura

Centre for the Study of Language & Information

Greutate

648

Dimensiuni

152 x 228 x 24

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