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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

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

Cited By ~ 15

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 ◽

Cited By ~ 19

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 2

Author(s):

Peter Gabriel

Keyword(s):

Specification Language ◽

Object Based

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 ◽

Cited By ~ 3

Author(s):

Gilles Bernot ◽

Pascale Gall

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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 1

Author(s):

Michael Breu

Keyword(s):

Algebraic Specifications

Download Full-text

Process semantics of temporal logic specification

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

10.1007/3-540-56379-2_43 ◽

1993 ◽

pp. 236-253 ◽

Cited By ~ 4

Author(s):

J. L. Fiadeiro ◽

J. F. Costa ◽

A. Sernadas ◽

T. S. E. Maibaum

Keyword(s):

Temporal Logic

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 ◽

Cited By ~ 14

Author(s):

Mohamed Bettaz ◽

Mourad Maouche

Keyword(s):

True Concurrency ◽

Algebraic Term

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 ◽

Cited By ~ 3

Author(s):

Hans-Dieter Ehrich ◽

Martin Gogolla ◽

Amilcar Sernadas

Download Full-text

Recent Trends in Data Type Specification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Implementation and behavioural equivalence: A survey

Relationships between logical frameworks

A soft stairway to institutions

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

Label algebras: A systematic use of terms

Algebraic specification of concurrency

Bounded implementation of algebraic specifications

Process semantics of temporal logic specification

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

Objects and their specification

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