Algebraic methods II: theory, tools and applications

DOI10.1007/3-540-53912-3MaRDI QIDQ1202089zbMATH OpenFDO

Authors

Publication date 23 January 1993

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

Full work available at URL https://doi.org/10.1007/3-540-53912-3

zbMATH Keywords

Algebraic methods II

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)

Review text

The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database.

Cited in

(3)

• Splitting bisimulations and retrospective conditions
• Constraining interference in an object-based design method
• Preferential choice and coordination conditions

This page was built for publication: Algebraic methods II: theory, tools and applications

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