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

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642177958, 9783642177965

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Expressiveness of the π-Calculus and the Mobile Ambients

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

10.1007/978-3-642-17796-5_3 ◽

2011 ◽

pp. 44-59 ◽

Author(s):

Linda Brodo

Keyword(s):

Π Calculus ◽

Mobile Ambients

Download Full-text

Program Calculation in Coq

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

10.1007/978-3-642-17796-5_10 ◽

2011 ◽

pp. 163-179 ◽

Author(s):

Julien Tesson ◽

Hideki Hashimoto ◽

Zhenjiang Hu ◽

Frédéric Loulergue ◽

Masato Takeichi

Keyword(s):

Program Calculation

Download Full-text

Matching Logic: An Alternative to Hoare/Floyd Logic

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

10.1007/978-3-642-17796-5_9 ◽

2011 ◽

pp. 142-162 ◽

Author(s):

Grigore Roşu ◽

Chucky Ellison ◽

Wolfram Schulte

Download Full-text

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

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

10.1007/978-3-642-17796-5_7 ◽

2011 ◽

pp. 111-127 ◽

Author(s):

Ekaterina Komendantskaya ◽

Guy McCusker ◽

John Power

Keyword(s):

Logic Programming

Download Full-text

Learning in a Changing World, an Algebraic Modal Logical Approach

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

10.1007/978-3-642-17796-5_8 ◽

2011 ◽

pp. 128-141 ◽

Author(s):

Prakash Panangaden ◽

Mehrnoosh Sadrzadeh

Keyword(s):

Logical Approach ◽

Download Full-text

Structural Analysis for Stochastic Process Algebra Models

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

10.1007/978-3-642-17796-5_1 ◽

2011 ◽

pp. 1-27 ◽

Author(s):

Jie Ding ◽

Jane Hillston

Keyword(s):

Stochastic Process ◽

Structural Analysis ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

BAL Tool in Flexible Manufacturing Systems

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

10.1007/978-3-642-17796-5_13 ◽

2011 ◽

pp. 209-215 ◽

Author(s):

Diego Pérez Leándrez ◽

M. Carmen Ruiz ◽

J. Jose Pardo ◽

Diego Cazorla

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

Type Fusion

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

10.1007/978-3-642-17796-5_6 ◽

2011 ◽

pp. 92-110 ◽

Author(s):

Ralf Hinze

Download Full-text

Integrating Maude into Hets

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

10.1007/978-3-642-17796-5_4 ◽

2011 ◽

pp. 60-75 ◽

Author(s):

Mihai Codescu ◽

Till Mossakowski ◽

Adrián Riesco ◽

Christian Maeder

Download Full-text

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

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

10.1007/978-3-642-17796-5_2 ◽

2011 ◽

pp. 28-43 ◽

Author(s):

Claude Bolduc ◽

Béchir Ktari

Keyword(s):

Compiler Optimizations ◽

Download Full-text