Carolyn Talcott – författare
Visar alla böcker från författaren Carolyn Talcott. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 15
Inbunden, Engelska, 2002
1 247 kr
Tillfälligt slut
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Del 12300 - Lecture Notes in Computer Science
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Häftad, Engelska, 2020
660 kr
Skickas inom 10-15 vardagar
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.
1 530 kr
Skickas inom 10-15 vardagar
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.
1 095 kr
Skickas inom 10-15 vardagar
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.
Del 15560 - Lecture Notes in Computer Science
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Häftad, Engelska, 2025
823 kr
Skickas inom 10-15 vardagar
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of Mälardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation.Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume.
Del 9200 - Lecture Notes in Computer Science
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Häftad, Engelska, 2015
535 kr
Skickas inom 10-15 vardagar
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Häftad, Engelska, 2002
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International Conference on Coordination Models and Languages, COORDINATION 2002, held in York, UK, in April 2002. The 18 revised full papers and 14 short papers presented were carefully reviewed and selected from 55 submissions. Among the topics addressed are network-centric systems design, concurrent semantics, mobile object systems, mobile agent systems, software components, distributed processes, coordination frameworks, reflective architectures, multi-agent systems engineering, communication protocols, formal specification, and cooperative virtual teams.
1 163 kr
Skickas inom 10-15 vardagar
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaudemodulede?nesaprecisemathematicalmodel.Thismeans that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal speci?cation language; and • as a formal veri?cation system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a ?exible logical framework in which many di?erent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.