Constructing systems as object communities
From MaRDI portal
Publication:5044754
Recommendations
Cites Work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 44414 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 54325 (Why is no real title available?)
- scientific article; zbMATH DE number 52152 (Why is no real title available?)
- scientific article; zbMATH DE number 53079 (Why is no real title available?)
- scientific article; zbMATH DE number 517239 (Why is no real title available?)
- scientific article; zbMATH DE number 1434110 (Why is no real title available?)
- Institutions: abstract model theory for specification and programming
- Proof of correctness of data representations
- Temporal aspects of logical procedure definition
- Temporal theories as modularisation units for concurrent system specification
Cited In (1)
This page was built for publication: Constructing systems as object communities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044754)