E. -R Olderog, E. -R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, Ernst-Rudiger Olderog - Nets, Terms and Formulas - Three Views of Concurrent Processes and Their Relationship

Scrivi la tua prima recensione!

Fr. 200.40

E. -R Olderog, E. -R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, Ernst-Rudiger Olderog

Nets, Terms and Formulas - Three Views of Concurrent Processes and Their Relationship

Inglese · Copertina rigida

Spedizione di solito entro 1 a 3 settimane (non disponibile a breve termine)

Descrizione

Ulteriori informazioni

Klappentext The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Zusammenfassung The author presents a theory whereby nets! terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research. Inhaltsverzeichnis 1. Introduction; 2. Petri nets; 3. Process terms; 4. Logical formulas; 5. Process construction; 6. Extensions; References.

Dettagli sul prodotto

Autori E. -R Olderog, E. -R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, Ernst-Rudiger Olderog
Editore Cambridge University Press ELT
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 03.10.1991
 
EAN 9780521400442
ISBN 978-0-521-40044-2
Pagine 278
Serie Occasional Papers
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Comunicazione dati, reti

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.