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

9783540799795, 9783540799801

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri Nets Are Dioids

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

10.1007/978-3-540-79980-1_5 ◽

2008 ◽

pp. 51-66 ◽

Cited By ~ 1

Author(s):

Paolo Baldan ◽

Fabio Gadducci

Keyword(s):

Petri Nets

Download Full-text

Marrying Words and Trees

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

10.1007/978-3-540-79980-1_1 ◽

2008 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Rajeev Alur

Download Full-text

A Hybrid Approach for Safe Memory Management in C

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

10.1007/978-3-540-79980-1_28 ◽

2008 ◽

pp. 377-391 ◽

Cited By ~ 1

Author(s):

Syrine Tlili ◽

Zhenrong Yang ◽

Hai Zhou Ling ◽

Mourad Debbabi

Keyword(s):

Memory Management ◽

Hybrid Approach

Download Full-text

Domain Axioms for a Family of Near-Semirings

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

10.1007/978-3-540-79980-1_25 ◽

2008 ◽

pp. 330-345 ◽

Cited By ~ 10

Author(s):

Jules Desharnais ◽

Georg Struth

Download Full-text

The Verification of the On-Chip COMA Cache Coherence Protocol

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

10.1007/978-3-540-79980-1_31 ◽

2008 ◽

pp. 413-429 ◽

Cited By ~ 3

Author(s):

Thuy Duong Vu ◽

Li Zhang ◽

Chris Jesshope

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocol ◽

On Chip

Download Full-text

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

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

10.1007/978-3-540-79980-1_10 ◽

2008 ◽

pp. 122-138 ◽

Cited By ~ 2

Author(s):

David Cachera ◽

Thomas Jensen ◽

Arnaud Jobin ◽

Pascal Sotin

Keyword(s):

Cost Analysis ◽

Linear Operators ◽

Long Run

Download Full-text

Coinductive Properties of Causal Maps

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

10.1007/978-3-540-79980-1_20 ◽

2008 ◽

pp. 253-267 ◽

Cited By ~ 2

Author(s):

Jiho Kim

Keyword(s):

Causal Maps

Download Full-text

Calculating Invariants as Coreflexive Bisimulations

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

10.1007/978-3-540-79980-1_7 ◽

2008 ◽

pp. 83-99 ◽

Cited By ~ 7

Author(s):

Luís S. Barbosa ◽

José N. Oliveira ◽

Alexandra Silva

Download Full-text

Evolving Specification Engineering

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

10.1007/978-3-540-79980-1_23 ◽

2008 ◽

pp. 299-314 ◽

Cited By ~ 4

Author(s):

Dusko Pavlovic ◽

Peter Pepper ◽

Doug Smith

Download Full-text

Liberate Computer User from Programming

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

10.1007/978-3-540-79980-1_3 ◽

2008 ◽

pp. 16-35

Author(s):

Teodor Rus

Keyword(s):

Computer User

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Petri Nets Are Dioids

Marrying Words and Trees

A Hybrid Approach for Safe Memory Management in C

Domain Axioms for a Family of Near-Semirings

The Verification of the On-Chip COMA Cache Coherence Protocol

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

Coinductive Properties of Causal Maps

Calculating Invariants as Coreflexive Bisimulations

Evolving Specification Engineering

Liberate Computer User from Programming

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