Related Books

Concurrency, Graphs and Models
Language: en
Pages: 810
Authors: Pierpaolo Degano
Categories: Computers
Type: BOOK - Published: 2008-06-11 - Publisher: Springer

GET EBOOK

This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which h
Concurrency, Graphs and Models
Language: en
Pages:
Authors: Pierpaolo Degano
Categories:
Type: BOOK - Published: 2008 - Publisher:

GET EBOOK

Concurrency, Graphs and Models
Language: en
Pages: 823
Authors: Pierpaolo Degano
Categories: Computers
Type: BOOK - Published: 2008-06-03 - Publisher: Springer Science & Business Media

GET EBOOK

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all lea
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Language: en
Pages: 446
Authors: Filip Thoen
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) throu
Analysis and Correctness of Algebraic Graph and Model Transformations
Language: en
Pages: 226
Authors: Ulrike Golas
Categories: Computers
Type: BOOK - Published: 2011-04-11 - Publisher: Springer Science & Business Media

GET EBOOK

Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, se