Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems.
Simon MørkPublished in: Nord. J. Comput. (2001)
Keyphrases
- programming language
- embedded systems
- real time embedded
- process algebra
- programming environment
- high level programming language
- low cost
- high level
- general purpose
- functional programming
- object oriented
- concurrent systems
- software engineering
- strongly typed
- functional language
- programming tool
- distributed systems
- formal specification
- software systems
- model checking
- formal methods
- asynchronous circuits
- communication networks
- computing environments
- computer networks
- database
- distributed environment
- expert systems
- multi agent
- machine learning
- real time