Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 8)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030737849, 9783030737856

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_7 ◽

2021 ◽

pp. 120-141

Author(s):

Tobias Rosenberger ◽

Saddek Bensalem ◽

Alexander Knapp ◽

Markus Roggenbach

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Monographs, a Category of Graph Structures

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_4 ◽

2021 ◽

pp. 54-74

Author(s):

Thierry Boy de la Tour

Keyword(s):

Graph Structures

Download Full-text

Towards General Axiomatizations for Bisimilarity and Trace Semantics

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_3 ◽

2021 ◽

pp. 31-53

Author(s):

Marco Bernardo

Keyword(s):

Trace Semantics

Download Full-text

The Wheel of Rational Numbers as an Abstract Data Type

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_2 ◽

2021 ◽

pp. 13-30

Author(s):

Jan A. Bergstra ◽

John V. Tucker

Keyword(s):

Rational Numbers ◽

Data Type ◽

Abstract Data Type ◽

Download Full-text

Parallel Coherent Graph Transformations

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_5 ◽

2021 ◽

pp. 75-97

Author(s):

Thierry Boy de la Tour ◽

Rachid Echahed

Keyword(s):

Graph Transformations

Download Full-text

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_1 ◽

2021 ◽

pp. 3-10

Author(s):

Jaco van de Pol ◽

Laure Petrucci

Keyword(s):

Download Full-text

Structure-Preserving Diagram Operators

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_8 ◽

2021 ◽

pp. 142-163

Author(s):

Navid Roux ◽

Florian Rabe

Keyword(s):

Structure Preserving

Download Full-text

$$\mathbb {K}$$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-030-73785-6_6 ◽

2021 ◽

pp. 98-119

Author(s):

Dominik Klumpp ◽

Philip Lenzen

Keyword(s):

Programming Languages ◽

Deductive Verification

Download Full-text