An object-oriented kernel for distributed simulation of concurrent systems.
Maciej PiechowkaStanislaw SzejkoPublished in: Microprocess. Microprogramming (1992)
Keyphrases
- concurrent systems
- distributed systems
- process algebra
- temporal logic
- distributed environment
- model checking
- formal specification
- petri net
- transition systems
- object oriented
- fault tolerant
- simulation model
- kernel function
- support vector
- cooperative
- lightweight
- neural network
- dimensionality reduction
- computer networks
- data model
- computing environments
- high dimensional
- feature space