Stepwise Refinement of Mixed Specifications of Concurrent Programs.

Beverly A. Sanders

Published in: Programming Concepts and Methods (1990)

Keyphrases

concurrent programs
process algebra
formal specification
concurrent systems
asynchronous circuits
concurrent programming
model checking
concurrent processes
general purpose
programming language
web applications
distributed systems
formal methods
artificial intelligence
knowledge base
temporal logic