A Formal Model of Concurrency for Distributed Object-Oriented Systems.
Manuel Barrio-SolórzanoPablo de la FuentePublished in: APSEC (1997)
Keyphrases
- formal model
- object oriented systems
- object oriented design
- software systems
- software maintenance
- object oriented
- distributed systems
- source code
- test case generation
- software engineering
- predicate calculus
- cooperative
- formal models
- security properties
- object oriented technology
- security patterns
- peer to peer
- concurrency control
- concurrency control protocols
- database
- distributed environment
- multi agent
- database systems