scientific article; zbMATH DE number 1929923

zbMath1014.68099MaRDI QIDQ4708555

Andrzej Tarlecki, Michel Bidoit, Donald Sannella

Publication date: 18 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (2)

Amalgamation in the semantics of CASL ⋮ Generic constructions for behavioral specifications

Uses Software

• CASL

This page was built for publication: