Towards a Process Algebra for Shared Processors.
Mikael BuchholtzJacob AndersenHans Henrik LøvengreenPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- process algebra
- formal specification
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- parallel algorithm
- petri net
- temporal logic
- grid workflow
- high performance computing
- formal languages
- shared memory
- distributed systems
- highly reliable
- case study
- reverse engineering