Behavioural approaches to algebraic specifications: a comparative study

Authors:
Gilles Bernot;Michel Bidoit;Teodor Knapik
Affiliations:
Ecole Normale Supe´riure, Paris, France;Ecole Normale Supe´riure, Paris, France;Ecole Normale Supe´riure, Paris, France
Venue:
Acta Informatica
Year:
1994

Citing 0
Cited 3

A general framework to build contextual cover set

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Observational proofs by rewriting

Theoretical Computer Science
Linking algebraic observational equivalence and bisimulation

DLT'10 Proceedings of the 14th international conference on Developments in language theory

Quantified Score

Hi-index	0.01

Visualization

Abstract