The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Title The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy PDF eBook
Author Mário S. Alvim
Publisher Springer Nature
Pages 485
Release 2019-11-04
Genre Computers
ISBN 3030311759

Download The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Book in PDF, Epub and Kindle

​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles. These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.

Functional and Constraint Logic Programming

Functional and Constraint Logic Programming
Title Functional and Constraint Logic Programming PDF eBook
Author Michael Hanus
Publisher Springer Nature
Pages 145
Release 2021-05-05
Genre Computers
ISBN 3030753336

Download Functional and Constraint Logic Programming Book in PDF, Epub and Kindle

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Computational Methods in Systems Biology

Computational Methods in Systems Biology
Title Computational Methods in Systems Biology PDF eBook
Author Roberta Gori
Publisher Springer Nature
Pages 268
Release
Genre
ISBN 303171671X

Download Computational Methods in Systems Biology Book in PDF, Epub and Kindle

Coordination Models and Languages

Coordination Models and Languages
Title Coordination Models and Languages PDF eBook
Author Maurice H. ter Beek
Publisher Springer Nature
Pages 246
Release 2022-06-13
Genre Computers
ISBN 3031081439

Download Coordination Models and Languages Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems
Title Formal Techniques for Distributed Objects, Components, and Systems PDF eBook
Author Kirstin Peters
Publisher Springer Nature
Pages 245
Release 2021-06-09
Genre Computers
ISBN 3030780899

Download Formal Techniques for Distributed Objects, Components, and Systems Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency
Title Application and Theory of Petri Nets and Concurrency PDF eBook
Author Ryszard Janicki
Publisher Springer Nature
Pages 442
Release 2020-06-30
Genre Computers
ISBN 3030518310

Download Application and Theory of Petri Nets and Concurrency Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools.

Coordination Models and Languages

Coordination Models and Languages
Title Coordination Models and Languages PDF eBook
Author Simon Bliudze
Publisher Springer Nature
Pages 407
Release 2020-06-10
Genre Computers
ISBN 3030500292

Download Coordination Models and Languages Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.