Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Modal Logic and Process Algebra

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

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Lingua

Inglese

Libro Rigido

Codice Libristo: 05012594

Casa editrice Centre for the Study of Language & Information, giugno 1995

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

Codice Libristo: 05012594

184 b

In preparazione

74.99 €

In attesa di ristampa

Termine sconosciuto

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

19.09 €

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

In brossura

147.09 €

Historia de Yucatán Diego López de Cogolludo

Rigido

41.79 €

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

In brossura

8.09 €

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

In brossura

26.69 €

Dnes v noci zemřeš Viveca Sten

Rigido

6.79 €

Kritické myslenie pre stredné školy PZ Jakub Kobela

In brossura

15.99 €

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.