Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540654629, 9783540492535

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interpolation in Modal Logic

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_13 ◽

1998 ◽

pp. 154-163 ◽

Cited By ~ 1

Author(s):

Maarten Marx

Keyword(s):

Modal Logic

Download Full-text

Verification of Temporal Properties of Processes in a Setting with Data

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_8 ◽

1998 ◽

pp. 74-90 ◽

Cited By ~ 18

Author(s):

Jan Friso Groote ◽

Radu Mateescu

Keyword(s):

Temporal Properties

Download Full-text

Verification of Bounded Delay Asynchronous Circuits with Timed Traces

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_7 ◽

1998 ◽

pp. 59-73 ◽

Cited By ~ 1

Author(s):

Tomohiro Yoneda ◽

Bin Zhou ◽

Bernd-Holger Schlingloff

Keyword(s):

Asynchronous Circuits ◽

Bounded Delay

Download Full-text

Abstract Interpretation of Prolog Programs

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_32 ◽

1998 ◽

pp. 455-470 ◽

Cited By ~ 4

Author(s):

Fausto Spoto ◽

Giorgio Levi

Keyword(s):

Abstract Interpretation ◽

Prolog Programs

Download Full-text

Architectural Specifications in CASL

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_25 ◽

1998 ◽

pp. 341-357 ◽

Cited By ~ 19

Author(s):

Michel Bidoit ◽

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text

Combining Methods for the Livelock Analysis of a Fault-Tolerant System

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_11 ◽

1998 ◽

pp. 124-139 ◽

Cited By ~ 17

Author(s):

Bettina Buth ◽

Jan Peleska ◽

Hui Shi

Keyword(s):

Fault Tolerant ◽

Fault Tolerant System ◽

Combining Methods

Download Full-text

A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_9 ◽

1998 ◽

pp. 91-105 ◽

Cited By ~ 2

Author(s):

Gabriel A. Baum ◽

Marcelo F. Frias ◽

Thomas S. E. Maibaum

Keyword(s):

Real Time ◽

Algebraic Semantics ◽

Real Time Systems ◽

Equational Calculus ◽

Time Systems

Download Full-text

The Abaco System — An Algebraic Based Action COmpiler

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_38 ◽

1998 ◽

pp. 527-529

Author(s):

Hermano Perrelli de Moura ◽

Luis Carlos de Sousa Menezes

Download Full-text

A Single Perspective on Arrows between Institutions

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_34 ◽

1998 ◽

pp. 486-501 ◽

Cited By ~ 2

Author(s):

Alfio Martini ◽

Uwe Wolter

Download Full-text

Improving Computations in a Typed Functional Logic Language

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-49253-4_31 ◽

1998 ◽

pp. 438-454

Author(s):

Jesús Manuel Almendros-Jiménez

Keyword(s):

Functional Logic

Download Full-text

Algebraic Methodology and Software Technology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Interpolation in Modal Logic

Verification of Temporal Properties of Processes in a Setting with Data

Verification of Bounded Delay Asynchronous Circuits with Timed Traces

Abstract Interpretation of Prolog Programs

Architectural Specifications in CASL

Combining Methods for the Livelock Analysis of a Fault-Tolerant System

A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus

The Abaco System — An Algebraic Based Action COmpiler

A Single Perspective on Arrows between Institutions

Improving Computations in a Typed Functional Logic Language

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications