Logic, Computation and Rigorous Methods

Keyphrases

Publications

2021

Richard Banach, Huibiao Zhu
Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods (2021)
Klaus-Dieter Schewe
Computation on Structures - Behavioural Theory, Logic, Complexity. Logic, Computation and Rigorous Methods (2021)
Emanuele Covino, Giovanni Pani
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. Logic, Computation and Rigorous Methods (2021)
Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides
Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods (2021)
Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. Logic, Computation and Rigorous Methods (2021)
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods (2021)
Flavio Ferrarotti, Senén González
ASM Specification and Refinement of a Quantum Algorithm. Logic, Computation and Rigorous Methods (2021)
Andreas Prinz
What is the Natural Abstraction Level of an Algorithm? Logic, Computation and Rigorous Methods (2021)
Michael Leuschel
Spot the Difference: A Detailed Comparison Between B and Event-B. Logic, Computation and Rigorous Methods (2021)
Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods (2021)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods (2021)
Jonathan P. Bowen
Communities and Ancestors Associated with Egon Börger and ASM. Logic, Computation and Rigorous Methods (2021)
Wolf Zimmermann, Mandy Weißbach
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Logic, Computation and Rigorous Methods (2021)
Johann A. Makowsky
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. Logic, Computation and Rigorous Methods (2021)
Bernhard Thalheim
Models and Modelling in Computer Science. Logic, Computation and Rigorous Methods (2021)
Klaus Ambos-Spies
Some Observations on Mitotic Sets. Logic, Computation and Rigorous Methods (2021)
Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)

volume 12750, 2021

Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Logic, Computation and Rigorous Methods 12750 (2021)