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

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662464, 9783540484837

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Reflection to Specify Transaction Sequences in Rewriting Logic

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

10.1007/3-540-48483-3_17 ◽

1999 ◽

pp. 261-276 ◽

Author(s):

Isabel Pita ◽

Narciso Martí-Oliet

Keyword(s):

Rewriting Logic

Download Full-text

Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics

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

10.1007/3-540-48483-3_13 ◽

1999 ◽

pp. 184-197 ◽

Author(s):

Beata Konikowska

Keyword(s):

Computer Science

Download Full-text

Refinements and Modules for Typed Graph Transformation Systems

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

10.1007/3-540-48483-3_10 ◽

1999 ◽

pp. 139-151 ◽

Author(s):

Martin Groβe-Rhode ◽

Francesco Parisi Presicce ◽

Marta Simeoni

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Semantic Constructions for Hidden Algebra

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

10.1007/3-540-48483-3_5 ◽

1999 ◽

pp. 63-78 ◽

Author(s):

Corina Cirstea

Download Full-text

Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets

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

10.1007/3-540-48483-3_16 ◽

1999 ◽

pp. 241-260 ◽

Author(s):

J. Padberg

Keyword(s):

Uniform Approach ◽

Download Full-text

Casl: A Guided Tour of Its Design

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

10.1007/3-540-48483-3_15 ◽

1999 ◽

pp. 216-240 ◽

Author(s):

Peter D. Mosses

Keyword(s):

Download Full-text

The Situation and State Calculus versus Branching Temporal Logic

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

10.1007/3-540-48483-3_19 ◽

1999 ◽

pp. 293-309

Author(s):

Jaime Ramos ◽

Amílcar Sernadas

Keyword(s):

Temporal Logic ◽

Branching Temporal Logic

Download Full-text

Translating OBJ3 into CASL: The Institution Level

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

10.1007/3-540-48483-3_14 ◽

1999 ◽

pp. 198-215 ◽

Author(s):

Till Mossakowski

Download Full-text

Hierarchical Heterogeneous Specifications

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

10.1007/3-540-48483-3_8 ◽

1999 ◽

pp. 107-121 ◽

Author(s):

Sophie Coudert ◽

Gilles Bernot ◽

Pascale Le Gall

Download Full-text

An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories

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

10.1007/3-540-48483-3_7 ◽

1999 ◽

pp. 92-106 ◽

Author(s):

Andrea Corradini ◽

Martin Groβe-Rhode ◽

Reiko Heckel

Download Full-text