Aller au contenu principal
Bibliothèque de L'IMIST/CNRST
Votre panier est vide.
Panier
Listes
Listes publiques
Nouvelles acquisition - avril
Lexis Nexis
Contributions académiques
Acquisition Septembre 2021
Langue arabe
Tout voir
Mes listes
Connectez-vous pour créer vos listes personnelles
Langues
Français
English
لعربية
Connexion à votre compte
Historique de recherche
Effacer
×
Ask A Librarian
Name:
Phone No:
Email:
Comment:
Chercher
Catalogue
Titre
Auteur
Sujet
ISBN
ISSN
Collection
Cote
Toutes les bibliothèques
La bibliothèque des lettres et sciences humaines et sociales
La bibliothèque des sciences de l'ingénieur
La bibliothèque des Sciences Exactes et Naturelles
La bibliothèque des Sciences Juridiques, Economiques et de Gestion
La bibliothèque des Sciences Médicales et Pharmaceutiques
Valider
Recherche avancée
Recherche d'autorités
Nuage de tags
Suggestions d'achat
×
Connexion à votre compte
Identifiant :
Mot de passe :
Vous n'avez pas de compte ?
Cliquer ici pour vous créer un compte.
Accueil
›
Résultats de recherche pour 'ccl=su:Computer science and homebranch:SDI'
Affiner votre recherche
Disponibilité
Limiter aux exemplaires disponibles.
Auteurs
Rutten, Jan
(1)
Sangiorgi, Davide
(2)
Sites de rattachement
La bibliothèque des sciences de l'ingénieur
(2)
Types de document
Livre
(2)
Collection
Cambridge tracts in ...
(1)
Sujets
Bisimulation
(2)
Coinduction (Mathema...
(2)
Computer science
(2)
COMPUTERS / Networki...
(2)
Induction (Mathemati...
(2)
Modality (Logic)
(2)
Afficher plus
Afficher moins
Votre recherche a retourné 2 résultats.
Pertinence
Popularité (plus à moins)
Popularité (moins à plus)
Auteur (A-Z)
Auteur (Z-A)
Cote (0-9 à A-Z)
Cote (Z-A à 9-0)
Date de publication : décroissante
Date de publication : Croissante
Date d'acquisition : décroissante
Date d'acquisition : croissante
Titre (A-Z)
Titre (Z-A)
Ne pas surligner
Surligner
|
|
Advanced topics in bisimulation and coinduction
Publication :
Cambridge | New York Cambridge University Press 2012 . xiii, 326 pages , "Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"-- 24 cm.
Date :
2012
Disponibilité :
Exemplaires disponibles:
La bibliothèque des sciences de l'ingénieur (1),
Réserver
Ajouter au panier
(Supprimer)
An introduction to bisimulation and coinduction
par
Sangiorgi, Davide.
Publication :
Cambridge | New York Cambridge University Press 2012 . xii, 247 pages , "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis"-- | "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction, and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, nonwell- founded sets, etc"-- 25 cm.
Date :
2012
Disponibilité :
Exemplaires disponibles:
La bibliothèque des sciences de l'ingénieur (1),
Réserver
Ajouter au panier
(Supprimer)
Vous ne trouvez pas ce que vous cherchez ?
Faites une
suggestion d'achat
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST
/
IMIST
Propulsé par
Koha