A process calculus SMrCaIT for IoT
Article in Journal of Software (July 2023)
Rewriting Logic and Its Applications
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Composition of Graph-Transformation-Based DSL Definitions by Amalgamation
-
Altmetric BadgeChapter 2 Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
-
Altmetric BadgeChapter 3 Real-Time Maude and Its Applications
-
Altmetric BadgeChapter 4 Conditional Narrowing Modulo in Rewriting Logic and Maude
-
Altmetric BadgeChapter 5 Language Definitions as Rewrite Theories
-
Altmetric BadgeChapter 6 Infinite-State Model Checking of LTLR Formulas Using Narrowing
-
Altmetric BadgeChapter 7 Modelling and Verifying Contract-Oriented Systems in Maude
-
Altmetric BadgeChapter 8 Towards Static Analysis of Functional Programs Using Tree Automata Completion
-
Altmetric BadgeChapter 9 A Framework for Mobile Ad hoc Networks in Real-Time Maude
-
Altmetric BadgeChapter 10 Strong and weak operational termination of order-sorted rewrite theories
-
Altmetric BadgeChapter 11 2D Dependency Pairs for Proving Operational Termination of CTRSs
-
Altmetric BadgeChapter 12 FunKons: Component-Based Semantics in K
-
Altmetric BadgeChapter 13 An Integration of CafeOBJ into Full Maude
-
Altmetric BadgeChapter 14 Rewriting Modulo SMT and Open System Analysis
-
Altmetric BadgeChapter 15 Formal Specification of Button-Related Fault-Tolerance Micropatterns
-
Altmetric BadgeChapter 16 A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications
Attention for Chapter 8:
Towards Static Analysis of Functional Programs Using Tree Automata Completion