The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, M?rio S. Alvim; Kostas Chatzikokolakis; Carlos Ola

Автор: Howard Bowman; Rodolfo Gomez
Название: Concurrency Theory
ISBN: 1849969515 ISBN-13(EAN): 9781849969512
Издательство: Springer
Рейтинг:
Цена: 135090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Over a period of 25 years, or so, the ?eld of concurrency theory has been involved in the development of a set of mathematical techniques that can help system developers to think about and build concurrent systems.

Автор: Thomas Gibson-Robinson; Philippa Hopcroft; Ranko L
Название: Concurrency, Security, and Puzzles
ISBN: 3319510452 ISBN-13(EAN): 9783319510453
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more.

Автор: Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn
Название: Logic, Rewriting, and Concurrency
ISBN: 3319231642 ISBN-13(EAN): 9783319231648
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.

Автор: Maciej Koutny; Serge Haddad; Alex Yakovlev
Название: Transactions on Petri Nets and Other Models of Concurrency IX
ISBN: 3662457296 ISBN-13(EAN): 9783662457290
Издательство: Springer
Рейтинг:
Цена: 50310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Decidability of k-Soundness for Workflow Nets with an Unbounded Resource.- Modeling Distributed Private Key Generation by Composing Petri Nets.- Software Engineering with Petri Nets: A Web Service and Agent Perspective.- Modeling Organizational Structures and Agent Knowledge for Mulan Applications.- A Canonical Contraction for Safe Petri Nets.- Symbolic Termination and Confluence Checking for ECA Rules.- Tissue Systems and Petri Net Synthesis.- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction.

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.

Автор: Sottile, Matthew J. , Mattson, Timothy G. , Rasm
Название: Introduction to Concurrency in Programming Languages
ISBN: 0367385155 ISBN-13(EAN): 9780367385156
Издательство: Taylor&Francis
Рейтинг:
Цена: 63280.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency.

Автор: Troutwine Brian L.
Название: Hands-On Concurrency with Rust
ISBN: 1788399978 ISBN-13(EAN): 9781788399975
Издательство: Неизвестно
Цена: 60070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Writing safe and correct parallel programs is tough. Reasoning about concurrent memory modification is tough; efficiently exploiting the modern computing environment (with its multi-layered caches and deep execution pipelines) is also tough. Most systems programming languages add a further complication: unsafe memory access. The burden on you, ...

Автор: Maciej Koutny; Wil M. P. van der Aalst; Alex Yakov
Название: Transactions on Petri Nets and Other Models of Concurrency VIII
ISBN: 3642404642 ISBN-13(EAN): 9783642404641
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.

Автор: Marta Z. Kwiatkowska; Michael W. Shields; Richard
Название: Semantics for Concurrency
ISBN: 3540196250 ISBN-13(EAN): 9783540196259
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups.

Автор: Paolo Baldan; Daniele Gorla
Название: CONCUR 2014 – Concurrency Theory
ISBN: 3662445832 ISBN-13(EAN): 9783662445839
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.

Автор: Friedrich H. Vogt
Название: Concurrency 88
ISBN: 3540504036 ISBN-13(EAN): 9783540504030
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Flemming Nielson
Название: ML with Concurrency
ISBN: 1461274834 ISBN-13(EAN): 9781461274834
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.