Place bisimulation equivalences for design of concurrent and sequential systems.
Igor V. TarasyukPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- design issues
- knowledge based systems
- design tools
- human computer interface
- management system
- interactive systems
- building blocks
- computer systems
- intelligent systems
- complex systems
- design process
- user interface
- case study
- design criteria
- databases
- design automation
- digital circuits
- design space
- software architecture
- distributed systems
- data model
- multimedia
- neural network