Recent Trends in Data Type Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540563792, 9783540475453

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementation and behavioural equivalence: A survey

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_36 ◽

1993 ◽

pp. 93-125 ◽

Author(s):

Fernando Orejas ◽

Marisa Navarro ◽

Ana Sánchez

Download Full-text

Relationships between logical frameworks

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_37 ◽

1993 ◽

pp. 126-143 ◽

Author(s):

Egidio Astesiano ◽

Maura Cerioli

Keyword(s):

Logical Frameworks

Download Full-text

A soft stairway to institutions

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_47 ◽

1993 ◽

pp. 310-329 ◽

Author(s):

Antonino Salibra ◽

Giuseppe Scollo

Download Full-text

The object-based specification language Π: concepts, syntax, and semantics

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_44 ◽

1993 ◽

pp. 254-270 ◽

Author(s):

Peter Gabriel

Keyword(s):

Specification Language ◽

Download Full-text

Label algebras: A systematic use of terms

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_38 ◽

1993 ◽

pp. 144-163 ◽

Author(s):

Gilles Bernot ◽

Pascale Gall

Download Full-text

How to specify non determinism and true concurrency with algebraic term nets

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_39 ◽

1993 ◽

pp. 164-180 ◽

Author(s):

Mohamed Bettaz ◽

Mourad Maouche

Keyword(s):

True Concurrency ◽

Download Full-text

Objects and their specification

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_34 ◽

1993 ◽

pp. 40-65 ◽

Author(s):

Hans-Dieter Ehrich ◽

Martin Gogolla ◽

Amilcar Sernadas

Download Full-text

Specifications with observable formulae and observational satisfaction relation

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_45 ◽

1993 ◽

pp. 271-291 ◽

Author(s):

Teodor Knapik

Download Full-text

Algebraic specification of concurrency

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_33 ◽

1993 ◽

pp. 1-39 ◽

Author(s):

Egidio Astesiano ◽

Gianna Reggio

Keyword(s):

Algebraic Specification

Download Full-text

Bounded implementation of algebraic specifications

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-56379-2_40 ◽

1993 ◽

pp. 181-198 ◽

Author(s):

Michael Breu

Keyword(s):

Algebraic Specifications

Download Full-text