Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540516980

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specification and prototyping of a compiler for a small applicative language

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015046 ◽

2005 ◽

pp. 403-418 ◽

Cited By ~ 2

Author(s):

Heinrich Hussmann ◽

Christian Rank

Keyword(s):

Applicative Language

Download Full-text

A specification of the intel 8085 microprocessor: A case study

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015045 ◽

2005 ◽

pp. 347-401 ◽

Cited By ~ 4

Author(s):

Alfons Geser

Download Full-text

An algebraic specification of process algebra, including two examples

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015050 ◽

2005 ◽

pp. 507-554 ◽

Cited By ~ 2

Author(s):

S. Mauw

Keyword(s):

Process Algebra ◽

Algebraic Specification

Download Full-text

An introduction to COLD-K

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015039 ◽

2005 ◽

pp. 137-205 ◽

Cited By ~ 9

Author(s):

H. B. M. Jonkers

Download Full-text

The RAP system as a tool for testing COLD specifications

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015044 ◽

2005 ◽

pp. 329-345

Author(s):

Heinrich Hussmann ◽

Alfons Geser

Download Full-text

Description algebra

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015042 ◽

2005 ◽

pp. 283-305 ◽

Cited By ~ 2

Author(s):

H. B. M. Jonkers

Download Full-text

Efficient implementation of an algebraic specification language

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015036 ◽

2005 ◽

pp. 69-90 ◽

Cited By ~ 4

Author(s):

H. Klaeren ◽

K. Indermark

Keyword(s):

Specification Language ◽

Efficient Implementation ◽

Algebraic Specification

Download Full-text

The logic MPLω

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015041 ◽

2005 ◽

pp. 247-282 ◽

Cited By ~ 10

Author(s):

C. P. J. Koymans ◽

G. R. Renardel de Lavalette

Download Full-text

Software specification by behavioural canons

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015038 ◽

2005 ◽

pp. 117-135

Author(s):

Horst Reichel

Keyword(s):

Software Specification

Download Full-text

Introduction

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015033 ◽

2005 ◽

pp. 1-4

Author(s):

Martin Wirsing ◽

Jan A. Bergstra

Download Full-text

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Specification and prototyping of a compiler for a small applicative language

A specification of the intel 8085 microprocessor: A case study

An algebraic specification of process algebra, including two examples

An introduction to COLD-K

The RAP system as a tool for testing COLD specifications

Description algebra

Efficient implementation of an algebraic specification language

The logic MPLω

Software specification by behavioural canons

Introduction

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science
Latest Publications