Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Modal Logic and Process Algebra

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

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 05012594

Editoras Centre for the Study of Language & Information, junho 1995

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Descrição completa

Código Libristo: 05012594

150 b

Em breve

62.20 €

Reimpressão esperada

Data desconhecida

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

15.67 €

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

Capa mole

121.68 €

Historia de Yucatán Diego López de Cogolludo

Livro de capa dura

34.38 €

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

Capa mole

7.07 €

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

Capa mole

21.44 €

Dnes v noci zemřeš Viveca Sten

Livro de capa dura

5.65 €

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.