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

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540356332, 9783540356363

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decomposing Interactions

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

10.1007/11784180_16 ◽

2006 ◽

pp. 189-203 ◽

Author(s):

Juliana Küster Filipe Bowles

Download Full-text

Accelerated Modal Abstractions of Labelled Transition Systems

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

10.1007/11784180_26 ◽

2006 ◽

pp. 338-352 ◽

Author(s):

Miguel Valero Espada ◽

Jaco van de Pol

Keyword(s):

Transition Systems ◽

Labelled Transition Systems

Download Full-text

Data Movement Optimisation in Point-Free Form

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

10.1007/11784180_5 ◽

2006 ◽

pp. 21-35 ◽

Author(s):

Brad Alexander ◽

Andrew Wendelborn

Keyword(s):

Free Form ◽

Download Full-text

Monad-Based Logics for Computational Effects

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

10.1007/11784180_3 ◽

2006 ◽

pp. 3-4

Author(s):

Till Mossakowski

Download Full-text

Incremental Software Construction with Refinement Diagrams

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

10.1007/11784180_1 ◽

2006 ◽

pp. 1-1

Author(s):

Ralph-Johan Back

Keyword(s):

Software Construction

Download Full-text

Realizability Criteria for Compositional MSC

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

10.1007/11784180_20 ◽

2006 ◽

pp. 248-262 ◽

Author(s):

Arjan Mooij ◽

Judi Romijn ◽

Wieger Wesselink

Download Full-text

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams

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

10.1007/11784180_28 ◽

2006 ◽

pp. 368-373 ◽

Author(s):

Manuel Clavel ◽

Marina Egea

Keyword(s):

Class Diagrams ◽

Validation Tool

Download Full-text

A Compositional Semantics of Plan Revision in Intelligent Agents

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

10.1007/11784180_27 ◽

2006 ◽

pp. 353-367

Author(s):

M. Birna van Riemsdijk ◽

John-Jules Ch. Meyer

Keyword(s):

Intelligent Agents ◽

Compositional Semantics

Download Full-text

The Essence of Multitasking

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

10.1007/11784180_14 ◽

2006 ◽

pp. 158-172 ◽

Author(s):

William L. Harrison

Download Full-text

Fractional Semantics

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

10.1007/11784180_22 ◽

2006 ◽

pp. 278-292 ◽

Author(s):

Härmel Nestra

Download Full-text