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

1993 ◽  
pp. 93-125 ◽  
Author(s):  
Fernando Orejas ◽  
Marisa Navarro ◽  
Ana Sánchez

Relationships between logical frameworks

1993 ◽  
pp. 126-143 ◽  
Author(s):  
Egidio Astesiano ◽  
Maura Cerioli
Keyword(s):  
Logical Frameworks

scholarly journals A soft stairway to institutions

1993 ◽  
pp. 310-329 ◽  
Author(s):  
Antonino Salibra ◽  
Giuseppe Scollo

scholarly journals Label algebras: A systematic use of terms

1993 ◽  
pp. 144-163 ◽  
Author(s):  
Gilles Bernot ◽  
Pascale Gall

Algebraic specification of concurrency

1993 ◽  
pp. 1-39 ◽  
Author(s):  
Egidio Astesiano ◽  
Gianna Reggio
Keyword(s):  
Algebraic Specification

Process semantics of temporal logic specification

1993 ◽  
pp. 236-253 ◽  
Author(s):  
J. L. Fiadeiro ◽  
J. F. Costa ◽  
A. Sernadas ◽  
T. S. E. Maibaum
Keyword(s):  
Temporal Logic

scholarly journals Objects and their specification

1993 ◽  
pp. 40-65 ◽  
Author(s):  
Hans-Dieter Ehrich ◽  
Martin Gogolla ◽  
Amilcar Sernadas
Load More ...
Sign in / Sign up

Export Citation Format

Share Document