Concurrent state transformations on abstract data types
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 222-236
- https://doi.org/10.1007/3-540-61629-2_45
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Relations as abstract datatypes: An institution to specify relations between algebrasPublished by Springer Nature ,1995
- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTsPublished by Springer Nature ,1995
- Dynamic abstract data types based on algebraic graph transformationsPublished by Springer Nature ,1995
- Functorial theory of a parameterized specifications in a general specification frameworkTheoretical Computer Science, 1994
- A Semantic Model for Dynamic SystemsPublished by Springer Nature ,1993
- Parallelism and concurrency in high-level replacement systemsMathematical Structures in Computer Science, 1991