Topology in process calculus : approximate correctness and infinite evolution of concurrent programs

Topology in process calculus approximate correctness and infinite evolution of concurrent programs

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ying, Mingsheng (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, Heidelberg u.a. Springer c 2001
Schlagworte:
Parallel processing (Electronic computers) > Algebraic topology > Parallel processing Electronic computers > Bisimulation > Prozessalgebra > Paralleles Programm > Korrektheit > Beweis
Online Zugang:Inhaltstext
Inhaltstext
Publisher description
Table of contents only
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:VIII, 220 S
ISBN:0387950923
0-387-95092-3