Algebraic methods II: theory, tools and applications
From MaRDI portal
Publication:1202089
zbMath0875.00046MaRDI QIDQ1202089
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Constraining interference in an object-based design method ⋮ Preferential choice and coordination conditions ⋮ Splitting bisimulations and retrospective conditions
This page was built for publication: Algebraic methods II: theory, tools and applications
