Relational specifications and observational semantics

• Authors:

• E Astesiano;G Reggio;M Wirsing

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
• Year:
• 1986