Algebraic and functional specification of an interactive serializable database interface (Q1193602): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Top-down design and the algebra of communicating processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3677156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Predicative specifications for functional programs describing communicating networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: The notions of consistency and predicate locks in a database system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590815 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3779721 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4184296 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On hierarchies of abstract data types / rank
 
Normal rank

Latest revision as of 13:19, 16 May 2024

scientific article
Language Label Description Also known as
English
Algebraic and functional specification of an interactive serializable database interface
scientific article

    Statements

    Algebraic and functional specification of an interactive serializable database interface (English)
    0 references
    27 September 1992
    0 references
    Lake Arrowhead Workshop
    0 references
    interactive systems
    0 references
    serializability
    0 references
    database
    0 references
    algebraic specification
    0 references
    0 references

    Identifiers