Linda implementations in Java for concurrent systems.
George WellsAlan ChalmersPeter G. ClaytonPublished in: Concurr. Pract. Exp. (2004)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- transition systems
- formal specification
- petri net
- java programs
- model checking
- source code
- object oriented
- programming language
- open source
- development environment
- database applications
- efficient implementation
- web services
- service oriented
- belief revision
- java language
- java applets
- byte code
- database
- distributed object
- object oriented programming
- web applications
- high level
- artificial intelligence
- data sets