The Concurrency Factory: A Development Environment for Concurrent Systems.
Rance CleavelandPhilip M. LewisScott A. SmolkaOleg SokolskyPublished in: CAV (1996)
Keyphrases
- development environment
- concurrent systems
- temporal logic
- development tools
- distributed systems
- process algebra
- concurrency control
- model checking
- application development
- petri net
- development environments
- development process
- formal specification
- user interface
- database server
- database systems
- rapid prototyping
- client server
- distributed environment
- business processes
- open source
- wireless sensor networks
- website
- software development environment
- visual programming