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

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

6
(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

2008 ◽  
pp. 51-66 ◽  
Author(s):  
Paolo Baldan ◽  
Fabio Gadducci
Keyword(s):  
Petri Nets

A Hybrid Approach for Safe Memory Management in C

2008 ◽  
pp. 377-391 ◽  
Author(s):  
Syrine Tlili ◽  
Zhenrong Yang ◽  
Hai Zhou Ling ◽  
Mourad Debbabi
Keyword(s):  
Memory Management ◽  
Hybrid Approach

Domain Axioms for a Family of Near-Semirings

2008 ◽  
pp. 330-345 ◽  
Author(s):  
Jules Desharnais ◽  
Georg Struth

scholarly journals The Verification of the On-Chip COMA Cache Coherence Protocol

2008 ◽  
pp. 413-429 ◽  
Author(s):  
Thuy Duong Vu ◽  
Li Zhang ◽  
Chris Jesshope
Keyword(s):  
Cache Coherence ◽  
Cache Coherence Protocol ◽  
On Chip

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

2008 ◽  
pp. 122-138 ◽  
Author(s):  
David Cachera ◽  
Thomas Jensen ◽  
Arnaud Jobin ◽  
Pascal Sotin
Keyword(s):  
Cost Analysis ◽  
Linear Operators ◽  
Long Run

scholarly journals Calculating Invariants as Coreflexive Bisimulations

2008 ◽  
pp. 83-99 ◽  
Author(s):  
Luís S. Barbosa ◽  
José N. Oliveira ◽  
Alexandra Silva

scholarly journals Evolving Specification Engineering

2008 ◽  
pp. 299-314 ◽  
Author(s):  
Dusko Pavlovic ◽  
Peter Pepper ◽  
Doug Smith
Load More ...
Sign in / Sign up

Export Citation Format

Share Document