Practical techniques for the design, specification, verification, and implementation of concurrent systems.
Rance CleavelandPhilip M. LewisScott A. SmolkaPublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- model checking
- temporal logic
- formal verification
- implementation issues
- distributed systems
- petri net
- formal methods
- case study
- design methodology
- practical application
- conceptual model
- rapid prototyping
- design process
- parallel distributed
- efficient implementation
- specification language
- hardware design
- software architecture
- platform independent
- hardware architecture
- design methodologies
- object oriented
- real world
- highly modular