Using a process algebra interface for verification and validation of UML statecharts
Article in Computer Standards & Interfaces (August 2023)
Concurrency Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Background on Concurrency Theory
-
Altmetric BadgeChapter 2 Process Calculi: LOTOS
-
Altmetric BadgeChapter 3 Basic Interleaved Semantic Models
-
Altmetric BadgeChapter 4 True Concurrency Models: Event Structures
-
Altmetric BadgeChapter 5 Testing Theory and the Linear Time — Branching Time Spectrum
-
Altmetric BadgeChapter 6 Beyond pbLOTOS
-
Altmetric BadgeChapter 7 Comparison of LOTOS with CCS and CSP
-
Altmetric BadgeChapter 8 Communicating Automata
-
Altmetric BadgeChapter 9 Timed Process Calculi, a LOTOS Perspective
-
Altmetric BadgeChapter 10 Semantic Models for tLOTOS
-
Altmetric BadgeChapter 11 Timed Communicating Automata
-
Altmetric BadgeChapter 12 Timelocks in Timed Automata
-
Altmetric BadgeChapter 13 Discrete Timed Automata