Torna Indietro

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Zwiers, Job

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Nomi

[Autore] Zwiers, Job

Classe Dewey

004.35 Elaborazione dei dati. Multielaborazione

Soggetto BNI

Controlli automatici
Programmazione parallela

Descrizione

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers

Descrizione Fisica

VI, 272 p. ; 25 cm

Numeri Standard

ISBN: 0387508457, New York
ISBN: 3540508457, Berlin

Data

c1989

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\UFI\0069205

Link Risorse

http://id.sbn.it/bid/UFI0069205

Commenti

Carica altri

Scrivi un commento

Invia

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Tag

Hiroshima and Nagasaki : the politics of human powerlessness

Hiroshima and Nagasaki : the politics of human powerlessness

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Stochastic processes and their applications : a journal devoted to the theory of stochastic processes and their applications in science and engineering

Chinas yaos and their rituals

Arabesques and geometry

Music for piano and orchestra 2

Raoul and the kings of Spain

Commenti

Regione Sardegna

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Tag

Hiroshima and Nagasaki : the politics of human powerlessness

Hiroshima and Nagasaki : the politics of human powerlessness

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Stochastic processes and their applications : a journal devoted to the theory of stochastic processes and their applications in science and engineering

Chinas yaos and their rituals

Arabesques and geometry

Music for piano and orchestra 2

Raoul and the kings of Spain

Commenti