An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Mauro GaspariGianluigi ZavattaroPublished in: Concurrent Object-Oriented Programming and Petri Nets (2001)
Keyphrases
- distributed systems
- case study
- fault tolerant
- load balancing
- distributed environment
- mobile agents
- message passing
- real world
- query language
- real time systems
- computer scientists
- data model
- distributed computing
- distributed database systems
- loosely coupled
- geographically distributed
- software development
- fault tolerance
- concurrent systems
- deadlock detection
- artificial intelligence and cognitive science
- security policies
- business process
- development process
- data replication
- real time
- database