Global development via local observational construction steps

DOI10.1007/3-540-45687-2_1MaRDI QIDQ4708555zbMATH OpenFDO

Authors Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• The local structure of globalization
• Global-local approaches: the Arlequin framework
• The global-local transformation
• scientific article; zbMATH DE number 18108
• Observing localities. (Extended abstract)
• Global order from local sources
• scientific article; zbMATH DE number 4698
• ``Local-global: the first twenty years

Cited in

(3)

• Amalgamation in the semantics of CASL
• Recent Trends in Algebraic Development Techniques
• Generic constructions for behavioral specifications

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Global development via local observational construction steps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708555)