Tutorial: Designing Distributed Software in mCRL2.
Jan Friso GrooteJeroen J. A. KeirenPublished in: CoRR (2021)
Keyphrases
- distributed systems
- cooperative
- distributed environment
- software development
- open systems
- software design
- software maintenance
- lightweight
- information systems
- software developers
- software tools
- software quality
- fault tolerant
- development process
- software architecture
- software systems
- peer to peer
- commercial software
- configuration management
- computing platform
- loosely coupled
- distributed network
- web based training
- software testing
- embedded systems
- computing environments
- test cases
- computer systems
- source code
- user interface
- website
- e learning